log

age author description
Wed, 03 Jun 2015 14:15:42 +0200 Thomas Wuerthinger Merge.
Wed, 03 Jun 2015 14:08:29 +0200 Thomas Wuerthinger Empty pointer stamps are also non-null.