small fixes

This commit is contained in:
2023-08-11 12:18:50 +02:00
parent 8cab1307ab
commit bd9bbf67d4
2 changed files with 2 additions and 2 deletions