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

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