Fixes #90 (closed)
added Bug label
requested review from @kuron
assigned to @holzer
added 1 commit
Compare with previous version
approved this merge request
merged
mentioned in commit 057aeb58