added 2 commits
Compare with previous version
enabled an automatic merge when the pipeline for dad27b81 succeeds
mentioned in commit 6f8ed350
merged