bug#24941: Early termination bug in grep 2.26

[Jim Meyering]

On Sat, Nov 19, 2016 at 1:47 AM, Paul Eggert <address@hidden> wrote:
> This turned into more work than I expected, as I kept finding performance
> glitches and/or correctness bugs in the neighborhood. I installed the
> attached set of patches. Patch 03 is the crucial one. Patch 10 trivially
> fixes an earlier test of mine and I'm too lazy to write a separate email for
> it.
>
> This fixes the problem for me, so I'm taking the liberty of closing this bug
> report.

Impressive work. Thanks a lot!