Merge pull request #12 from chamunks/master

Merging change that didn't make the last PR
This commit is contained in:
Leopere 2018-10-06 21:52:39 +00:00 committed by GitHub
commit 60873e17e7