fixes for switching #262

Merged
muellerr merged 1 commits from fix-for-mgm-switching into main 2026-03-12 13:48:05 +01:00

1 Commits

Author SHA1 Message Date
Robin Mueller 70f747ad86 fixes for switching 2026-03-12 13:45:19 +01:00