added 4 commits
master
Compare with previous version
enabled an automatic merge when the pipeline for 22b2b44b succeeds
merged