Merge remote-tracking branch 'origin/GuKKDevel' into GuKKDevel
authorKarl-Heinz Gödderz (GuKKDevel) <Devel@GuKK-Online.de>
Thu, 8 Nov 2018 05:26:43 +0000 (06:26 +0100)
committerKarl-Heinz Gödderz (GuKKDevel) <Devel@GuKK-Online.de>
Thu, 8 Nov 2018 05:26:43 +0000 (06:26 +0100)

Trivial merge