[plt-dev] Re: Problems after all

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 <eli at 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!