Your message dated Mon, 13 Jun 2011 20:33:39 +0200
with message-id <201106132033.40565.stefano.lattarini@gmail.com>
and subject line Re: [PATCH] {maint} distcheck: add support for AM_DISTCHECK_CONFIGURE_FLAGS (was: Re: bug#8784: Support developer-reserved AM_DISTCHECK_CONFIGURE_FLAGS)
has caused the GNU bug report #8784,
regarding Support developer-reserved AM_DISTCHECK_CONFIGURE_FLAGS
to be marked as done.

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


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