Subject: Re: bug#11207: Acknowledgement (configure: new option --enable-gcc-warnings)
From: Paul Eggert <[email-masked]>
To: [email-masked]
Date: Wed, 18 Apr 2012 10:19:15 -0700
List-Id: <debbugs-submit.debbugs.gnu.org>

I installed a slightly updated version of that patch into the
trunk as bzr 107961 and am marking this as done.