Merge branch 'develop' into 'master'

Develop in Master

See merge request !9
2 jobs for v0.8.3 in 1 minute and 17 seconds (queued for 1 minute and 15 seconds)
latest
Status Job ID Name Coverage
  Configure
passed #36349
linux
configure-linux

00:00:13

 
  Compile
passed #36350
linux
make-linux

00:01:04