------- 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
tromey at gcc dot gnu dot org Wed, 30 Jul 2008 10:45:35 -0700
------- 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