[Bug libstdc++/56678] [c++11] non-uglified name in

[paolo.carlini at oracle dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56678



--- Comment #5 from Paolo Carlini <paolo.carlini at oracle dot com> 2013-03-22 
21:32:01 UTC ---

Thanks Jakub for the clarification. Too bad.