More to follow on #869 (closed)...
added 2 commits
Compare with previous version
enabled an automatic merge when the pipeline for 5892a7d3 succeeds
merged
mentioned in commit ebda86e5