------- Comment #9 from bonzini at gnu dot org 2008-07-31 12:58 ------- Michael, any news?
-- bonzini at gnu dot org changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |bonzini at gnu dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=36613