On 12/30/19 11:33 PM, Jim Meyering wrote:
> I noticed a serious performance degradation in grep and tracked it
> down to the following, which I've just pushed:

Ouch! My fault. Thanks for catching that bug.

Reply via email to