Fix formatting

This commit is contained in:
Andrzej Janik 2025-09-03 18:05:47 +00:00
commit 2f431febfc