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



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



           What    |Removed                     |Added

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

             Status|NEW                         |RESOLVED

         Resolution|                            |FIXED



--- Comment #3 from Paul Thomas <pault at gcc dot gnu.org> 2013-02-04 22:38:03 
UTC ---

Fixed on trunk.... finally!  Thanks for the report, Tobias



Paul

Reply via email to