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

--- Comment #11 from js-gcc at webkeks dot org <js-gcc at webkeks dot org> 
2011-01-13 13:28:27 UTC ---
Sorry for the late reply.

Your patch worked fine.

Reply via email to