------- Comment #3 from manu at gcc dot gnu dot org 2009-07-14 20:56 ------- Joseph, could you comment on this?
--
manu at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |joseph at codesourcery dot
| |com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40752
