Merge branch 'devel'

2 jobs for 0.8.0 in 7 minutes and 39 seconds (queued for 4 seconds)
latest
Status Job ID Name Coverage
  Build Docker
passed #490219
dind
build_docker_image

00:04:37

 
  Build And Test
passed #490220
build_and_test

00:03:01