Fix whitespace

This commit is contained in:
Peter Eisentraut 2023-11-14 10:41:17 +01:00
parent 3849fe7c2b
commit 43071777be