Subject: Re: bug#25479: memory leaks in dfa

From: Paul Eggert <[email-masked]>
Date: Wed, 18 Jan 2017 16:45:56 -0800

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