Jim Meyering wrote: > It was only a bug if one neglected to update to the latest gnulib.
Sorry, I also neglected to update gnulib.
- 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
