------- Comment #11 from tromey at gcc dot gnu dot org  2008-07-30 17:44 -------
Please ping that patch on the gcc-patches list.
Thanks.


-- 


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

Reply via email to