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
Marius Eggert 8ddcc37c74 mini fixes
EIVE/-/pipeline/head This commit looks good Details
2023-08-16 13:25:29 +02:00