Your message dated Wed, 18 Apr 2012 10:19:15 -0700
with message-id <4F8EF793.8020900@cs.ucla.edu>
and subject line Re: bug#11207: Acknowledgement (configure: new option --enable-gcc-warnings)
has caused the debbugs.gnu.org bug report #11207,
regarding configure: new option --enable-gcc-warnings
to be marked as done.

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


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