Minor adjustments for #3411

This commit is contained in:
Wojtek Figat
2025-09-14 22:00:57 +02:00
parent 5582579173
commit ada6b9140f
3 changed files with 9 additions and 13 deletions

Binary file not shown.