[pypy-dev] irc logs dead?

[Ben.Young at risk.sungard.com]

Hi Everyone,

The archived irc log server appears to be dead at the moment (and has been 
for a couple of days). Does anyone know anything about this, or is it out 
of your hands?

Cheers,
Ben