smaller fixes

This commit is contained in:
2021-07-26 10:02:46 +02:00
parent 8fe251de0a
commit 7c372d5e8c
4 changed files with 7 additions and 5 deletions