------- Additional Comments From coudert at clipper dot ens dot fr 2005-01-01 12:28 ------- No problem as of 2005-01-01, 04:00 MET, with nothing changed in the scripts. Probably a temporary problem on my side. Sorry!
PS: marked bug as resolved - WORKSFORME, I hope it was the right thing to do.
--
What |Removed |Added
----------------------------------------------------------------------------
Status|WAITING |RESOLVED
Resolution| |WORKSFORME
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19213
