------- Comment #16 from bonzini at gnu dot org 2007-11-05 08:21 ------- No, but I don't think this should hold up marking this PR as fixed.
-- bonzini at gnu dot org changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED Resolution| |FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15023