[Bug libstdc++/62045] __gnu_pbds::priority_queue<int, less<int>, binary_heap_tag> is too slow

[redi at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62045

--- Comment #7 from Jonathan Wakely <redi at gcc dot gnu.org> ---
Please note that libstdc++ patches need to be sent to the libstdc++ list as
well, see the policies at https://gcc.gnu.org/lists.html