Merge branch 'devel' into 'master'

Hotfix

See merge request !168
4 jobs for master in 8 minutes and 35 seconds (queued for 3 seconds)
Status Job ID Name Coverage
  Test
passed #4842
pycco

00:06:47

passed #4841
test_and_coverage

00:07:52

71.0%
 
  Deploy
passed #4843
pages

00:00:43

passed pages:deploy

00:00:01