Some whitespace fixes

Kept separate to not clutter the actual changes
This commit is contained in:
Geert Janssens 2022-12-31 13:17:22 +01:00
parent 57294d7e16
commit 510b57843b
3 changed files with 8 additions and 8 deletions