Merge branch 'hotfix' into 'master'

Hotfix

See merge request !19
9 jobs for master in 6 minutes and 40 seconds (queued for 5 seconds)
Status Name Job ID Coverage
  Build
passed build-app #2354
docker

00:03:01

passed build-docs #2352
docker

00:01:38

passed build-ping #2353
docker

00:00:36

 
  Test
passed blc-app #2357
docker

00:00:48

passed blc-docs #2358
docker

00:00:54

passed tidy-app #2356
docker

00:00:45

passed unit-test-app #2355
docker

00:02:33

 
  Release
passed release-app-docs #2359
shell

00:00:43

passed release-debian #2360
docker

00:00:22