style fixes (#7478)

This commit is contained in:
Matthias Mair
2024-06-20 07:45:44 +10:00
committed by GitHub
parent 12e76333a2
commit 73c10e219c