Merge branch 'master' of https://github.com/jupedsim/jpseditor

2 jobs for master in 25 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Configure
passed #101733
linux
configure-linux

00:00:01

 
  Compile
passed #101734
linux
make-linux

00:00:23