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

Author	SHA1	Message	Date
Marius Eggert	bf3565f497	Merge branch 'main' into improve-supv-reset-cmd Some checks are pending EIVE/-/pipeline/pr-main Build queued... Details	2023-10-27 14:36:17 +02:00
Robin Mueller	84f50bab83	improve supv reset cmd All checks were successful 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