------- 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

Reply via email to