http://gcc.gnu.org/bugzilla/show_bug.cgi?id=13657
--- Comment #5 from Paolo Carlini <paolo.carlini at oracle dot com> 2011-10-19 22:06:56 UTC --- Ok, thanks, I'm doing that.
paolo.carlini at oracle dot com Wed, 19 Oct 2011 15:08:03 -0700
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=13657
--- Comment #5 from Paolo Carlini <paolo.carlini at oracle dot com> 2011-10-19 22:06:56 UTC --- Ok, thanks, I'm doing that.