Remove redundant whitespace

This commit is contained in:
2018-07-15 19:52:27 +02:00
parent 6abb65a04c
commit 887b78ead0