Re: [PATCH] dfa: save memory for states

bug-gnulib

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH] dfa: save memory for states

From:	Norihiro Tanaka
Subject:	Re: [PATCH] dfa: save memory for states
Date:	Tue, 11 Oct 2016 08:26:37 +0900

On Mon, 10 Oct 2016 08:32:47 -0700
Paul Eggert <address@hidden> wrote:

> Thanks for that performance improvement. I installed it into gnulib and grep.

Hi Paul,

Thanks for installing it to both.

Norihiro

[Prev in Thread]

Current Thread

[Next in Thread]

[PATCH] dfa: save memory for states, Norihiro Tanaka, 2016/10/10
- Re: [PATCH] dfa: save memory for states, Paul Eggert, 2016/10/10
  - Re: [PATCH] dfa: save memory for states, Norihiro Tanaka <=
- Re: [PATCH] dfa: save memory for states, Bruno Haible, 2016/10/10
  - Re: [PATCH] dfa: save memory for states, Norihiro Tanaka, 2016/10/10
    - Re: [PATCH] dfa: save memory for states, Norihiro Tanaka, 2016/10/10
    - Re: [PATCH] dfa: save memory for states, Bruno Haible, 2016/10/11

Prev by Date: Re: [PATCH] dfa: save memory for states
Next by Date: Re: [PATCH] dfa: save memory for states
Previous by thread: Re: [PATCH] dfa: save memory for states
Next by thread: Re: [PATCH] dfa: save memory for states
Index(es):
- Date
- Thread