On Tue, 2013-01-01 at 10:01 +0100, Duncan Sands wrote: > Hi all, gcc17 has been down for a while now. Is it definitively dead? > If not, any idea when it should be back? > > Ciao, Duncan.
Hi Duncan, I sent a mail to local admin on 11Dec2012 about gcc17 being down but no news yet. gcc15 and gcc16 which are in the same facility are up so this is not a general problem. I'll reping tomorrow, I opened a ticket: https://gna.org/support/index.php?2994 Happy new year, Laurent _______________________________________________ Gcc-cfarm-users mailing list Gcc-cfarm-users@gna.org https://mail.gna.org/listinfo/gcc-cfarm-users
