On 02/01/13 05:47, Eli Zaretskii wrote: > You are maintaining a library.
I am, but we're not talking about that. We are talking about dfa.c, which is not part of Gnulib, or of any other library for that matter. So it sounds like your comments were based on a misunderstanding. As I understand it, Gawk's copy of dfa.c has forked from grep's and is not likely to merge. Aharon is trying to minimize the differences between the two, which is a good thing. But not all the differences can be removed, and apparently this is one of the half-dozen or so differences that, for whatever reason, can't easily be removed. It's no big deal.