http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54314
--- Comment #15 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-09-26 21:06:28 UTC --- Ah, Ok. Benjamin, please handle this, because I don't want to make other mistakes here. Thanks!
paolo.carlini at oracle dot com Wed, 26 Sep 2012 14:06:55 -0700
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54314
--- Comment #15 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-09-26 21:06:28 UTC --- Ah, Ok. Benjamin, please handle this, because I don't want to make other mistakes here. Thanks!