Closes #855 (closed)
resolved all discussions
added 1 commit
Compare with previous version
enabled an automatic merge when the pipeline for bae28eb0 succeeds
mentioned in commit 248cc178
merged