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



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



           What    |Removed                     |Added

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

             Status|NEW                         |RESOLVED

         Resolution|                            |FIXED



--- Comment #19 from Paul Thomas <pault at gcc dot gnu.org> 2013-01-27 07:22:52 
UTC ---

It helps to actually mark it as fixed :-)

Reply via email to