Closes #265 (closed)
added Bug label
added 2 commits
master
Compare with previous version
enabled an automatic merge when the pipeline for f5e77537 succeeds
merged