[Bug libstdc++/51649] pretty printers don't handle std::__7:: namespace

[pluto at agmk dot net]

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

Pawel Sikora <pluto at agmk dot net> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED

--- Comment #11 from Pawel Sikora <pluto at agmk dot net> 2012-03-22 22:19:08 UTC ---
ok, 4.7.0 is out. closing as fixed (not a regression).