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

[redi at gcc dot gnu.org]

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

Jonathan Wakely <redi at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Version|4.8.1                       |4.7.0
   Target Milestone|---                         |4.8.0

--- Comment #23 from Jonathan Wakely <redi at gcc dot gnu.org> ---
Domink, why did you change the version of this bug on 2013-06-24 (and reopen
it)?

It was reported against 4.7.0, before 4.8.0 was even released, so cannot be a
bug in 4.8.1, right?

I'm restoring the version to 4.7.0 and setting target to 4.8.0 since that's
where the fix appeared.