Fix inconsistent indentation (from cherry-picking)

This commit is contained in:
cora 2024-01-17 19:09:09 +01:00
parent 4dd7d42177
commit 8cdcfe6bc5