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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.8.0

--- Comment #19 from Jonathan Wakely <redi at gcc dot gnu.org> 2012-06-01 
09:40:11 UTC ---
Manu, Paolo, the doc patch is in, are you happy to close this now?

Reply via email to