Merge branch 'master' of https://gitlab.au.dk/cfp/air

1 job for master in 5 minutes and 17 seconds (queued for 9 seconds)