Merge branch 'develop' into 'master'

Update master

See merge request !646
3 jobs for 0.9.99 in 3 minutes and 29 seconds (queued for 2 seconds)
latest
Status Job ID Name Coverage
  Lint
passed #19570
lint

00:00:56

 
  Build
passed #19571
build

00:01:18

 
  Test
passed #19572
test

00:01:14