http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56679
--- Comment #2 from Paolo Carlini <paolo.carlini at oracle dot com> 2013-03-28 20:13:17 UTC --- Indeed. Thanks again!
paolo.carlini at oracle dot com Thu, 28 Mar 2013 13:13:29 -0700
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56679
--- Comment #2 from Paolo Carlini <paolo.carlini at oracle dot com> 2013-03-28 20:13:17 UTC --- Indeed. Thanks again!