util: whitespace cleanup for 4c5b17b1

Oops. This should make the merge back to master smoother.
This commit is contained in:
David Bremner 2019-10-13 09:18:24 -03:00
parent 4c5b17b10b
commit 49621ea8d5