Merge branch 'develop' of https://github.com/jupedsim/jpscore into develop

4 jobs for develop in 9 minutes and 19 seconds (queued for 3 seconds)
Status Job ID Name Coverage
  Configure
passed #110082
linux
configure-linux

00:00:02

 
  Compile
passed #110083
linux
make-linux

00:01:42

 
  Unit Test
passed #110084
linux
test

00:07:05

 
  Dev Test
passed #110085
linux
dev

00:00:29