Merge branch 'feature/foldable-aspects' into 'develop'
Passed
Johannes Mey
created pipeline for commit 221e6182
, finished
For bugfix/folding-empty-aspects
26 minutes 1 second, queued for 10 seconds