------- Comment #3 from pinskia at gcc dot gnu dot org  2007-07-01 09:21 -------
>        I did the svn this morning (PDT).  Do I need to do another svn?
Yes, it was modified at "2007-06-30 19:20:06 -0700".   So 7:20 pm PDT :).


-- 


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

Reply via email to