Fix whitespace

Peter Eisentraut <peter@eisentraut.org>

Commit: aad21d4c3cd84e7c2a28d239048d2e2f494be47e
Author: Peter Eisentraut <peter@eisentraut.org>
Date: 2019-03-01T19:56:53Z
Releases: 12.0
Fix whitespace

Files