[Bug libstdc++/55631] Several ext/ headers can not be #included on their own

[redi at gcc dot gnu.org]

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



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



           What    |Removed                     |Added

----------------------------------------------------------------------------

             Status|ASSIGNED                    |RESOLVED

          Component|c++                         |libstdc++

         Resolution|                            |FIXED

   Target Milestone|---                         |4.8.0



--- Comment #3 from Jonathan Wakely <redi at gcc dot gnu.org> 2012-12-11 
22:31:18 UTC ---

Fixed on trunk.