Re: bug#25479: memory leaks in dfa

[Paul Eggert]

Thanks for the fix; I installed it into gnulib and am closing this bug
report.