Merge branch 'devel'

2 jobs for 0.8.1 in 7 minutes and 57 seconds (queued for 3 seconds)
latest
Status Job ID Name Coverage
  Build Docker
passed #490301
dind
build_docker_image

00:04:05

 
  Build And Test
passed #490302
build_and_test

00:03:51