Merge pull request #288 (delete useless spaces)

This commit is contained in:
Reto Kromer
2017-12-05 21:00:30 +01:00
committed by GitHub