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

Paul Thomas <pault at gcc dot gnu.org> changed:

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

--- Comment #13 from Paul Thomas <pault at gcc dot gnu.org> 2012-05-05 08:54:40 
UTC ---
oops - forgot to mark it as resolved

Reply via email to