Merge pull request #6304 from JeroenED/bugfix/utzer-bug
authorMichael Vogel <icarus@dabo.de>
Sat, 22 Dec 2018 17:03:56 +0000 (18:03 +0100)
committerGitHub <noreply@github.com>
Sat, 22 Dec 2018 17:03:56 +0000 (18:03 +0100)
commit6f8c9a08a1919acab82f739b868c470c01b769dd
treec5efd80d5badc98efaa51209ce426419cb328c76
parent92214b8867e18b8d4dd2ea056f699d6163fdea62
parent2d9f4b560f6012829322ddfb60dd6e525ccee286
Merge pull request #6304 from JeroenED/bugfix/utzer-bug

Fixed bug reported by Utzer