------- Comment #12 from jvdelisle at gcc dot gnu dot org 2006-10-14 15:38 ------- Paul, should this be closed?
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18769
jvdelisle at gcc dot gnu dot org Sat, 14 Oct 2006 08:38:48 -0700
------- Comment #12 from jvdelisle at gcc dot gnu dot org 2006-10-14 15:38 ------- Paul, should this be closed?
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18769