-
Hans Fangohr authored
Merge branch 'improve-machine-readable-logging' of gitlab.gwdg.de:mpsd-cs/mpsd-software-environments into improve-machine-readable-logging
Hans Fangohr authoredMerge branch 'improve-machine-readable-logging' of gitlab.gwdg.de:mpsd-cs/mpsd-software-environments into improve-machine-readable-logging