added 1 commit
Compare with previous version
enabled an automatic merge when the pipeline for ba88f8e4 succeeds
mentioned in commit 96a398cb
merged