http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53000
--- Comment #15 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-10-10 10:44:57 UTC --- Daniel: yes, please, if you could take care of that it would be great.
paolo.carlini at oracle dot com Wed, 10 Oct 2012 03:45:31 -0700
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53000
--- Comment #15 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-10-10 10:44:57 UTC --- Daniel: yes, please, if you could take care of that it would be great.