Minor formatting fixes

This commit is contained in:
Johannes Altmanninger 2024-11-21 08:55:45 +01:00
parent 67ccbdae96
commit 3a6e87744b