------- Comment #7 from dfranke at gcc dot gnu dot org 2007-07-06 12:52 ------- Joost, thanks for reporting! Closing as fixed.
-- dfranke at gcc dot gnu dot org changed: What |Removed |Added ---------------------------------------------------------------------------- Status|ASSIGNED |RESOLVED Resolution| |FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32633