Fix whitespace

This commit is contained in:
Peter Eisentraut 2016-06-05 17:02:56 -04:00
parent 8a859691d5
commit 6201a8ef3a