log

age author description
Wed, 28 Jan 2015 11:28:03 +0100 Thomas Wuerthinger Merge.
Wed, 28 Jan 2015 11:27:35 +0100 Thomas Wuerthinger Fix LocationSet - use equals for comparing LocationIdentity objects.