I disagree with High. Not only is the bug so minor that it went unnoticed during the release of 0.14, but even now it took quite some effort to discover. That's not High (which to me would imply it's a potential release blocker). Not a major bug, IMHO.
I disagree with High. Not only is the bug so minor that it went unnoticed during the release of 0.14, but even now it took quite some effort to discover. That's not High (which to me would imply it's a potential release blocker). Not a major bug, IMHO.