tweaks: normalize the indentation after the previous changes

This commit is contained in:
Benno Schulenberg 2023-05-21 11:29:02 +02:00
parent f7d8735b6b
commit cb1b3a28ab