mini fixes #232

Merged
muellerr merged 1 commits from mini-fixes into main 2023-08-16 14:04:03 +02:00

1 Commits

Author SHA1 Message Date
8ddcc37c74 mini fixes
All checks were successful
EIVE/-/pipeline/head This commit looks good
2023-08-16 13:25:29 +02:00