Re: [PATCH] dfa: remove unused the member of structure

[Paul Eggert]

Thanks. That patch is obviously harmless even at this late stage of grep 
testing, so I installed it into Gnulib where it can be picked up by the next 
gnulib update in grep.