Jim Meyering wrote:
It was only a bug if one neglected to update to the latest gnulib.
Yes, sorry, in hindsight I should have mentioned that in the ChangeLog entry.
- bug#17136: [PATCH] dfa: speed up memory allocation, port t... Paul Eggert
- bug#17136: [PATCH] dfa: speed up memory allocation, p... Jim Meyering
- bug#17136: [PATCH] dfa: speed up memory allocatio... Jim Meyering
- bug#17136: [PATCH] dfa: speed up memory alloc... Paul Eggert
- bug#17136: [PATCH] dfa: speed up memory a... Norihiro Tanaka
- bug#17136: [PATCH] dfa: speed up memory allocation, p... Norihiro Tanaka
- bug#17136: [PATCH] dfa: speed up memory allocatio... Paul Eggert
- bug#17136: [PATCH] dfa: speed up memory alloc... Jim Meyering
- bug#17136: [PATCH] dfa: speed up memory a... Paul Eggert
- bug#17136: [PATCH] dfa: speed up memory allocation, p... Jim Meyering
