http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30112
--- Comment #6 from Paolo Carlini <paolo.carlini at oracle dot com> 2011-07-21 15:49:16 UTC --- Agreed (indeed, I saw both in Bugzilla but never figured out which one you preferred ;)
paolo.carlini at oracle dot com Thu, 21 Jul 2011 08:50:07 -0700
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30112
--- Comment #6 from Paolo Carlini <paolo.carlini at oracle dot com> 2011-07-21 15:49:16 UTC --- Agreed (indeed, I saw both in Bugzilla but never figured out which one you preferred ;)