GitLab update scheduled for Friday, January 21th between 08:15 and 08:45 CET. If unpleasant, please contact René or Martin.

Cleanup, typos, fix publishing dependency

4 jobs for master in 3 minutes and 15 seconds (queued for 2 seconds)
Status Name Job ID Coverage
  Build
passed build #18613

00:01:15

 
  Publish
passed publish #18614

00:01:18

 
  Deploy
passed pages #18615

00:00:41

passed pages:deploy

00:00:00