http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52015
--- Comment #10 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-09-13 22:14:32 UTC --- Patch should be sent to the gcc-patches (and libstdc++) mailing list (any contributor must have a Copyright assignment on file, of course)
