assigned to @denolf
enabled an automatic merge when the pipeline for b22ba4ec succeeds
merged
mentioned in commit b23d4622