assigned to @fschreud
enabled an automatic merge when the pipeline for f028949e succeeds
merged
mentioned in commit a60ef5a9