assigned to @mancini
added 1 commit
Compare with previous version
enabled an automatic merge when the pipeline for 357f9233 succeeds
mentioned in commit cd5eb4fe
merged