added 2 commits
Compare with previous version
enabled an automatic merge when the pipeline for 756f7bf7 succeeds
merged
mentioned in commit b13d8f7e