Subject: Re: bug#17157: [PATCH 1/5] Partially revert "dfa: improve port to freestanding DJGPP"

From: Paul Eggert <[email-masked]>
Date: Sat, 05 Apr 2014 16:36:20 -0700

Jim Meyering wrote:
> Thanks!  The grep changes all look fine.

OK, thanks, I installed them and am marking this bug as done.  As I 
understand it, Aharon is in the middle of a gawk release and so now's 
not a good time to install the gawk changes, but we can address any 
integration issues if they later come up.