small fix #265

Merged
muellerr merged 1 commits from small-fix into main 2023-12-07 13:57:49 +01:00

1 Commits

Author SHA1 Message Date
Marius Eggert 1a132684a6 small fix
EIVE/-/pipeline/head This commit looks good Details
2023-12-07 13:54:09 +01:00