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)
commit55fc69a5ce1dd3d227e172e55202061019d93430
tree472bb6cd23b722b14d937eda2b64728c32e25784
parentf8210d43aa91c16ca565f771fd23deb9b02af41d
parent248931ca86784f54fc7c818c72a1cdc374d4138a
Merge pull request #8 from GuKKDevel/bug-1442

Bug 1442