Merge branch 'develop' into feature/19-level-datastructure

2 jobs for feature/19-level-datastructure in 4 minutes and 40 seconds (queued for 4 minutes and 53 seconds)
Status Name Job ID Coverage
  Build
passed build-clang #8664

00:02:23

passed build-gcc #8663

00:02:16