added 2 commits
Compare with previous version
enabled an automatic merge when the pipeline for 9782ffcf succeeds
merged
mentioned in commit aa9515b5