Fix nonstandard whitespace

This commit is contained in:
Gilles Peskine 2018-07-19 15:51:49 +02:00 committed by itayzafrir
parent d54931c7c4
commit 9fb0e01177