Fix whitespace

This commit is contained in:
Peter Eisentraut 2020-09-20 14:40:51 +02:00
parent cc7b27da7f
commit 5c5619a744