------- Comment #11 from pault at gcc dot gnu dot org 2009-04-20 11:57 ------- (In reply to comment #10)
> Paul, can we close this one? > Absolutely! It's done. Paul -- pault at gcc dot gnu dot org changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED Resolution| |FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=24886