http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53733
--- Comment #1 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-07-09 20:49:31 UTC --- Jason, this is the PR/DR we were talking about.
paolo.carlini at oracle dot com Mon, 09 Jul 2012 13:50:00 -0700
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53733
--- Comment #1 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-07-09 20:49:31 UTC --- Jason, this is the PR/DR we were talking about.