added 2 commits
main
Compare with previous version
enabled an automatic merge when the pipeline for 75bf2eea succeeds
mentioned in commit cd05598c
merged