------- Comment #3 from jakub at gcc dot gnu dot org 2008-10-10 08:37 ------- Have you ever pinged that patch?
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37002
jakub at gcc dot gnu dot org Fri, 10 Oct 2008 01:38:38 -0700
------- Comment #3 from jakub at gcc dot gnu dot org 2008-10-10 08:37 ------- Have you ever pinged that patch?
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37002