http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47065

--- Comment #7 from Francois-Xavier Coudert <fxcoudert at gcc dot gnu.org> 
2011-11-09 10:09:15 UTC ---
Thomas, I think this is mostly fixed, isn't it? If so, we could close it.

Reply via email to