Merge branch 'develop' into 'master'

2 jobs for v0.8.6 in 11 seconds (queued for 4 seconds)
latest
Status Job ID Name Coverage
  Configure
failed #73473
linux
configure-linux

00:00:11

 
  Compile
skipped #73474
linux
make-linux
 
Name Stage Failure
failed
configure-linux Configure


-- Configuring incomplete, errors occurred!
See also "/builds/jupedsim/jpseditor/build/CMakeFiles/CMakeOutput.log".
See also "/builds/jupedsim/jpseditor/build/CMakeFiles/CMakeError.log".
Running after script...
$ echo "End CI"
End CI
ERROR: Job failed: exit code 1