Merge pull request #771 from annando/quick-fix
authorMichael Vogel <icarus@dabo.de>
Mon, 5 Nov 2018 19:06:42 +0000 (20:06 +0100)
committerGitHub <noreply@github.com>
Mon, 5 Nov 2018 19:06:42 +0000 (20:06 +0100)
Fix PR 770


Trivial merge