Merge branch '33-make-specification-langauge-more-concise' into 'dev'
Failed
René Schöne
created pipeline for commit
2085e9bd
, finished
For dev
9 minutes 25 seconds, queued for 5 seconds