On ven., 2014-02-07 at 09:55 +0100, M.-A. Lemburg wrote: > > > > Trying to load buildbot.python.org timed out as well. Has the fleet > > sailed away? > > Probably just a temporary network/DNS failure. It seems to work fine > now. According to infrastructure, there had been a kernel panic. The VM has been restarted. Regards Antoine.