This problem is now resolved, so things should be back to "normal" --
everything should be working except for planet and pre. Specifically,
you should be able to interact with the git server now.
On Sun, May 30, 2010 at 15:58, Eli Barzilay <e...@barzilay.org> wrote:
> There are problem after all, and possibly affecting machines outside of NEU
> too.
>
> (The cause of the problem is that our DNS server is down -- it should
> have stayed up on generator, but I was told that: "they pulled the
> wrong breaker", so the NEU machine room went down.)
--
((lambda (x) (x x)) (lambda (x) (x x))) Eli Barzilay:
http://www.barzilay.org/ Maze is Life!
_________________________________________________
For list-related administrative tasks:
http://list.cs.brown.edu/mailman/listinfo/plt-dev
