[plt-dev] Downtime this sunday

NEU has the power down for Sunday, from 8am to 8pm EST (actual
downtime is likely to be shorter).  Two things that will not be
working at that time are the planet server and the prebuilt web pages.

The git server, bug server, download server, internal server, and a
few more (all hosted on a separate machine) should be up since I plan
to move it to an alternative network for the day (there will be a
short downtime when I schlep the machine to the other side of the
river).  The IP addresses would be different (eg, if you push via ssh,
you'll see a note about the different IP address), but other than that
I hope that there won't be any noticeable differences.

-- 
          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
                    http://barzilay.org/                   Maze is Life!