Merge branch 'onestep' of git8.cs.fau.de:software/cool into onestep

11 jobs for !9 with onestep in 16 minutes and 40 seconds (queued for 7228 minutes and 3 seconds)
merge request