Minor whitespace formatting changes

No functional change.
This commit is contained in:
ianfab
2018-07-15 14:30:59 +02:00
committed by Stéphane Nicolet
parent e0f317afaa
commit ee0f5cd303