A few whitespace fixups

This commit is contained in:
Geert Janssens 2018-04-17 23:04:18 +02:00
parent 06db9bcf2b
commit 3138229cf6