Merge pull request #6506 from MrPetovan/bug/6386-fix-fatal-errors
authorMichael Vogel <icarus@dabo.de>
Thu, 24 Jan 2019 06:12:13 +0000 (07:12 +0100)
committerGitHub <noreply@github.com>
Thu, 24 Jan 2019 06:12:13 +0000 (07:12 +0100)
Fix fatal errors


Trivial merge