more cleaning
Some checks are pending
EIVE/-/pipeline/pr-main Build queued...
#252 by muellerr was merged 2023-10-27 14:37:00 +02:00 v5.10.1 1 approval
improve supv reset cmd
Some checks are pending
EIVE/-/pipeline/pr-main Build queued...
#251 by muellerr was merged 2023-10-27 14:36:23 +02:00 v5.10.1 1 approval
re-run generators
All checks were successful
EIVE/-/pipeline/head This commit looks good
EIVE/-/pipeline/pr-main This commit looks good
#250 by muellerr was merged 2023-10-27 14:35:49 +02:00 v5.10.1 1 approval