Re: zgrep -<NUM> doesn't work if <NUM> is two digits or greater

[Jim Meyering]

Thomas Bushnell, BSG wrote:
> Cool. Dan Bloch should get the credit for finding the bug I believe.
...
>     Subject: [PATCH 1/2] zgrep: handle a multi-digit context option like -15
>
>     * zgrep.in: Do not malfunction when given an option like -15.
>     Before, it could mistake the pattern for a file name:
>
>       $ echo x | gzip | zgrep -15 x
>       gzip: x.gz: No such file or directory
>
>     * NEWS (Bug fixes): Mention it.
>     Reported by Thomas Bushnell: https://bugs.launchpad.net/bugs/1032831

Thanks for the info.  I've adjusted the commit log accordingly
and will push tomorrow:

      Reported by Dan Bloch via Thomas Bushnell in
      https://bugs.launchpad.net/bugs/1032831