Commit 8ecddd67 authored by Ansgar Burchardt's avatar Ansgar Burchardt

Merge branch 'minor-cleanup' into 'master'

Minor cleanup

See merge request !43
parents b3a40c8d 6982ea13
Pipeline #29698 passed with stage
in 20 minutes and 30 seconds