------- Comment #2 from manu at gcc dot gnu dot org  2008-08-05 23:38 -------
Simon, is this fixed? If so, you should close it as FIXED.


-- 


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

Reply via email to