assigned to @denolf
marked this merge request as ready
enabled an automatic merge when the pipeline for 9980027a succeeds
merged
mentioned in commit 919cf5ab