Fix whitespace

This commit is contained in:
Peter Eisentraut 2013-12-03 22:57:08 -05:00
parent 9e857436ef
commit dfd5151c58