http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55325
--- Comment #5 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-11-14 20:36:37 UTC --- If you ask me, I have I slight preference for the latter, because isn't always obvious what gnu++* includes beyond c++*. But Jason will tell you, and the fix is straightforward anyway.
