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

25 jobs for v1.0 in 4 minutes and 42 seconds (queued for 1 second)
latest