fixed mgm proc output #128

Merged

muellerr merged 3 commits from mgm-proc-fix into main

2023-01-26 20:35:28 +01:00

Author	SHA1	Message	Date
Robin Müller	feacfeaf65	Merge branch 'main' into mgm-proc-fix	2023-01-26 20:35:04 +01:00
Marius Eggert	82c6b60af2	this should be better	2023-01-25 13:45:11 +01:00
Marius Eggert	35a485d79e	fixed mgm proc output	2023-01-25 13:43:08 +01:00