[Bug libstdc++/53263] priority_queue is very slow if -D_GLIBCXX_DEBUG is used

[paolo.carlini at oracle dot com]

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

--- Comment #15 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-06-11 
15:27:17 UTC ---
Too late for 4.7.1. Francois, can you please apply the patch to 4_7-branch as
soon as 4.7.1 is out, thus for 4.7.2? Thanks!