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

2 jobs for feature/19-level-datastructure in 2 minutes and 7 seconds (queued for 1 second)
Status Name Job ID Coverage
  Build
passed build-clang #8682

00:01:06

passed build-gcc #8681

00:01:00