Merge branch 'master' into 'deploy'

Deploy

See merge request !47
5 jobs for deploy in 3 minutes and 24 seconds (queued for 3 seconds)
Status Name Job ID Coverage
  Orthography
passed spellcheck #29837

00:01:31

 
  Build
passed build #29838

00:00:36

 
  Package
passed package-deploy #29839

00:00:32

 
  Test
passed test-deploy #29840
dind docker

00:00:44

 
  Deploy
passed deploy