assigned to @debdolph
enabled an automatic merge when the pipeline for 0de19eeb succeeds
merged
mentioned in commit d142255a