assigned to @debdolph
enabled an automatic merge when the pipeline for 3e1a463c succeeds
merged
mentioned in commit a1248f07