[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 #22 from Paolo Carlini <paolo.carlini at oracle dot com> ---
Get in touch with Francois and work on further improvements with him.