Merge branch 'develop' of git.scc.kit.edu:rtsn/rtsn into develop

1 job for !42 with develop in 20 minutes and 29 seconds
detached
Status Name Job ID Coverage
  Unit Tests
passed unit_tests #414846

00:20:29

55.0%