Fix whitespace

Peter Eisentraut <peter@eisentraut.org>

Commit: 070c3d3937e75e04d36405287353b7eca516555d
Author: Peter Eisentraut <peter@eisentraut.org>
Date: 2020-04-02T06:56:12Z
Releases: 13.0
Fix whitespace

Files