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.
fxcoudert at gcc dot gnu.org Wed, 09 Nov 2011 02:10:39 -0800
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.