assigned to @denolf
enabled an automatic merge when the pipeline for 5da31f17 succeeds
merged
mentioned in commit f640a854