http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50143
--- Comment #1 from Paolo Carlini <paolo.carlini at oracle dot com> 2011-08-21 15:03:38 UTC --- And the page has been *generated* by Doxygen (1.7.4, in particular), right? So, why do you think that, if anything, this is a libstdc++ bug?!?
