Merge branch 'devel'

4 jobs for master in 8 minutes and 43 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build Docker
passed #490201
dind
build_docker_image

00:04:44

 
  Build And Test
passed #490202
build_and_test

00:03:38

 
  Deploy
passed #490203
pages

00:00:20

passed pages:deploy

00:00:00