Closes #340 (closed)
changed milestone to %v0.9.5
added Bug label
added 1 commit
Compare with previous version
marked this merge request as ready
enabled an automatic merge when all merge checks for fcdd5330 pass
merged
mentioned in commit 0fc872b8