------- Comment #10 from pault at gcc dot gnu dot org 2010-05-08 14:05 ------- (In reply to comment #9) > (In reply to comment #8) > > I guess everything is fixed now. Can we close this PR? > > Ping? >
Note that I did not apply the patch to 4.4 as I said that I would. What do you think? Cheers Paul -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40591