assigned to @fschreud
enabled an automatic merge when the pipeline for 3b5bb43a succeeds
merged
mentioned in commit 4f2489d4