Merge pull request #8 from GuKKDevel/bug-1442
authorBernhard "Ted" Fröhlich <ted@convey.de>
Thu, 1 Nov 2018 20:34:10 +0000 (21:34 +0100)
committerGitHub <noreply@github.com>
Thu, 1 Nov 2018 20:34:10 +0000 (21:34 +0100)
Bug 1442


Trivial merge