small fix #265

Merged
muellerr merged 1 commits from small-fix into main 2023-12-07 13:57:49 +01:00
Owner
No description provided.
meggert added 1 commit 2023-12-07 13:54:37 +01:00
small fix
All checks were successful
EIVE/-/pipeline/head This commit looks good
1a132684a6
muellerr approved these changes 2023-12-07 13:57:41 +01:00
muellerr merged commit 4c54aa7586 into main 2023-12-07 13:57:49 +01:00
muellerr deleted branch small-fix 2023-12-07 13:57:50 +01:00
Sign in to join this conversation.
No description provided.