added 2 commits
Compare with previous version
enabled an automatic merge when the pipeline for 18c2ae24 succeeds
merged
mentioned in commit 5e7a31ee