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

--- Comment #9 from Paul Thomas <pault at gcc dot gnu.org> 2011-02-02 19:00:11 
UTC ---
Fixed on trunk.... and on google.

Thanks for the report, Tobias.

Paul

Reply via email to