assigned to @debdolph
enabled an automatic merge when the pipeline for 04258374 succeeds
merged
mentioned in commit d6432412