Merge branch 'devel'

3 jobs for master in 4 minutes and 36 seconds (queued for 3 seconds)
Status Job ID Name Coverage
  Build And Test
passed #490273
build_and_test

00:03:47

 
  Deploy
passed #490274
pages

00:00:49

passed pages:deploy

00:00:00