------- Comment #13 from dorit at gcc dot gnu dot org 2007-07-24 09:05 ------- David, can you confirm that this PR can now be closed?
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25413
dorit at gcc dot gnu dot org Tue, 24 Jul 2007 02:05:54 -0700
------- Comment #13 from dorit at gcc dot gnu dot org 2007-07-24 09:05 ------- David, can you confirm that this PR can now be closed?
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25413