Merge branch 'master' of git.bwinf.de:zgtm/medal-prototype

1 job for changes-handbuch in 8 minutes and 46 seconds (queued for 3 seconds)
Status Name Job ID Coverage
  Test
passed test #2148

00:08:46