added 2 commits
master
Compare with previous version
enabled an automatic merge when the pipeline for 0c8b186a succeeds
merged
mentioned in commit a998e4b6