minor whitespace cleanup

This commit is contained in:
Simon Goldschmidt 2018-06-14 22:10:53 +02:00
parent f31160a6cb
commit dbc16e6765