closes #158 (closed) closes #157 (closed)
added 2 commits
master
Compare with previous version
enabled an automatic merge when the pipeline for 72d1724a succeeds
merged