------- Additional Comments From steven at gcc dot gnu dot org 2004-11-10 10:13 ------- Seb, time to ping your patch.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=17520
steven at gcc dot gnu dot org Wed, 10 Nov 2004 02:13:38 -0800
------- Additional Comments From steven at gcc dot gnu dot org 2004-11-10 10:13 ------- Seb, time to ping your patch.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=17520