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

1 job for master in 4 minutes and 11 seconds (queued for 17 seconds)