assigned to @mikpe74
enabled an automatic merge when the pipeline for bbef5837 succeeds
merged
mentioned in commit 0857f25b