assigned to @schwicke
added 1 commit
Compare with previous version
enabled an automatic merge when the pipeline for 97b8970e succeeds
mentioned in commit e444976a
merged