Closes #15 (closed)
added bug label
added fix label
added 2 commits
Compare with previous version
marked this merge request as ready
merged
mentioned in commit bc588d38