------- Comment #12 from redi at gcc dot gnu dot org  2010-03-31 13:52 -------
That works for me, although I should point out I can't approve the patch, so
it's just my opinion


-- 


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

Reply via email to