assigned to @mweise
enabled an automatic merge when the pipeline for b3f4449c succeeds
mentioned in commit 0928e1aa
merged