Merge pull request #3888 from MrPetovan/issue/#3878-hotfix
authorMichael Vogel <icarus@dabo.de>
Thu, 9 Nov 2017 08:11:56 +0000 (09:11 +0100)
committerGitHub <noreply@github.com>
Thu, 9 Nov 2017 08:11:56 +0000 (09:11 +0100)
Issue #3878 hotfix


Trivial merge