added 2 commits
Compare with previous version
enabled an automatic merge when the pipeline for eea6479a succeeds
mentioned in commit 094e4b5e
merged