Commit 78238b88 authored by Nikolaus Waxweiler's avatar Nikolaus Waxweiler

Merge branch 'housekeeping' into 'master'

Housekeeping

See merge request !18
parents 28251269 be181d43
Pipeline #188141 passed with stage
in 15 minutes and 29 seconds