Merge pull request #1 from GuKKDevel/GuKKDevel
authorJan Dittberner <jan+github@dittberner.info>
Wed, 14 Nov 2018 19:33:06 +0000 (20:33 +0100)
committerGitHub <noreply@github.com>
Wed, 14 Nov 2018 19:33:06 +0000 (20:33 +0100)
Gukk devel


Trivial merge