So there are three issues: 1) ✓ no line number. RESOLVED in https://github.com/rakudo/rakudo/commit/25e9fd76e85fabda20e263b6f87e27b0673f26e2 2) ✗ it could mention '* > 5'. 3) ✓ it could mention the 2. RESOLVED in https://github.com/rakudo/rakudo/commit/f1cd8e313abff2f66b9989fe60870a6e11cf7588
On 2016-01-15 12:15:53, barto...@gmx.de wrote: > Oops, I hit the "merge" button a bit too fast. Looks like the second > thing was reported as a separate bug intentionally. Sorry, I don't > know how to undo the merge :-(