Your message dated Sun, 19 Jul 2015 20:17:40 -0700
with message-id <CA+8g5KHXvJEcA1WMtXcFLckcEQ_p3K1nNe8jpEfj_zsZjLAqkw@mail.gmail.com>
and subject line Re: bug#18707: [PATCH] dfa: print detail of DFA states in a debug mode
has caused the debbugs.gnu.org bug report #18707,
regarding [PATCH] dfa: print detail of DFA states in a debug mode
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
18707: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=18707
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems