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



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



           What    |Removed                     |Added

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

             Status|REOPENED                    |RESOLVED

         Resolution|                            |FIXED



--- Comment #11 from Paul Thomas <pault at gcc dot gnu.org> 2013-01-15 05:34:25 
UTC ---

Hopefully, it will stay fixed this time!



Thanks Dominique.



Paul

Reply via email to