------- Comment #10 from pault at gcc dot gnu dot org  2006-05-25 13:02 -------
Thanks, gents.

I am just going to ping the list and will commit tomorrow morning, no matter
what.

Paul


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=27449

Reply via email to