assigned to @mweise
enabled an automatic merge when the pipeline for 4de817ae succeeds
mentioned in commit 9c36133b
merged