Given the easy workaround and the lack of urgency, I'd be happy for this to just get rolled out in the ordinary course of events.
-- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1032831 Title: zgrep -<NUM> doesn't work if <NUM> is two digits or greater To manage notifications about this bug go to: https://bugs.launchpad.net/gzip/+bug/1032831/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs