Fix whitespace

This commit is contained in:
Peter Eisentraut 2017-05-25 11:17:09 -04:00
parent 505b5d2f86
commit 04f1798eaa