http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54677
--- Comment #6 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-09-23 14:04:12 UTC --- Great, I did the same. I'm checking it in.
paolo.carlini at oracle dot com Sun, 23 Sep 2012 07:04:38 -0700
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54677
--- Comment #6 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-09-23 14:04:12 UTC --- Great, I did the same. I'm checking it in.