Subject: Re: bug#25479: memory leaks in dfa
From: Paul Eggert <[email-masked]>
To: Norihiro Tanaka <[email-masked]>, Arnold Robbins <[email-masked]>
Cc: [email-masked], [email-masked]
Date: Wed, 18 Jan 2017 16:45:56 -0800
List-Id: <debbugs-submit.debbugs.gnu.org>

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