bug#17377: [PATCH] dfa: optimization of memory allocation

bug-grep

From:	Paul Eggert
Subject:	bug#17377: [PATCH] dfa: optimization of memory allocation
Date:	Wed, 30 Apr 2014 12:24:15 -0700
User-agent:	Mozilla/5.0 (X11; Linux x86_64; rv:24.0) Gecko/20100101 Thunderbird/24.4.0

Thanks, I installed that.

Current Thread

[Next in Thread]

bug#17377: [PATCH] dfa: optimization of memory allocation, Norihiro Tanaka, 2014/04/30
- bug#17377: [PATCH] dfa: optimization of memory allocation, Paul Eggert <=