On Sun, Apr 19, 2020 at 4:10 AM Norihiro Tanaka wrote:
> On Sun, 19 Apr 2020 07:41:49 +0900
> Norihiro Tanaka wrote:
> > On Sat, 18 Apr 2020 00:22:26 +0900
> > Norihiro Tanaka wrote:
> >
> > >
> > > On Fri, 17 Apr 2020 10:24:42 +0900
> > > Norihiro Tanaka wrote:
> > >
> > > >
> > > > On Fri, 17
On Fri, Sep 11, 2020 at 2:47 PM Jim Meyering wrote:
> On Sun, Apr 19, 2020 at 4:10 AM Norihiro Tanaka wrote:
> > On Sun, 19 Apr 2020 07:41:49 +0900
> > Norihiro Tanaka wrote:
> > > On Sat, 18 Apr 2020 00:22:26 +0900
> > > Norihiro Tanaka wrote:
> > >
> > > >
> > > > On Fri, 17 Apr 2020 10:24:42
On 9/7/20 11:18 PM, Shlomi Fish wrote:
Thanks, Paul! I can confirm that the latest git master version of gnu grep
(which incorporates the patches) is faster than 3.4.
Thanks for checking; closing the bug report.
And here is the adjusted patch:
Hold on, that looks like a cleanup of the April 18 patch posted here:
https://bugs.gnu.org/40634#26
But there's a later patch dated April 19, which Norihiro Tanaka said should be
more correct and simpler:
https://bugs.gnu.org/40634#32
I'll try to take a look
On Sat, Sep 12, 2020 at 1:01 AM Paul Eggert wrote:
> > And here is the adjusted patch:
>
> Hold on, that looks like a cleanup of the April 18 patch posted here:
>
> https://bugs.gnu.org/40634#26
>
> But there's a later patch dated April 19, which Norihiro Tanaka said should be
> more correct and s