added 2 commits
master
Compare with previous version
enabled an automatic merge when the pipeline for 999b2737 succeeds
canceled the automatic merge
merged
mentioned in commit cc4764b7