improve supv reset cmd #251

Merged
meggert merged 2 commits from improve-supv-reset-cmd into main 2023-10-27 14:36:23 +02:00

2 Commits

Author SHA1 Message Date
Marius Eggert bf3565f497 Merge branch 'main' into improve-supv-reset-cmd
EIVE/-/pipeline/pr-main Build queued... Details
2023-10-27 14:36:17 +02:00
Robin Müller 84f50bab83
improve supv reset cmd
EIVE/-/pipeline/head This commit looks good Details
EIVE/-/pipeline/pr-main This commit looks good Details
2023-10-26 11:18:30 +02:00