------- Comment #10 from pinskia at gcc dot gnu dot org  2006-07-15 18:58 
-------
Reopening because Mike cannot do it himself as he does not know the trick of
using his @gcc.gnu.org. 


-- 

pinskia at gcc dot gnu dot org changed:

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


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

Reply via email to