Commit 857b112ef27efe39735fe1201a86dc8e4afa98e2

Steffen Jaeckel 2019-09-03T01:04:00

Merge pull request #334 from czurnieden/re_issue_332 repair of #333