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



Tobias Burnus <burnus at gcc dot gnu.org> changed:



           What    |Removed                     |Added

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

             Status|UNCONFIRMED                 |RESOLVED

                 CC|                            |burnus at gcc dot gnu.org

         Resolution|                            |FIXED



--- Comment #3 from Tobias Burnus <burnus at gcc dot gnu.org> 2013-02-12 
16:27:12 UTC ---

Should be FIXED.



Thanks Dominique for the report, debugging the issue, and for the patch!

Reply via email to