Network downtime Friday July 11

Date:Thu Jul 10 18:15:55 2003
The routers at ntnu are being upgraded on Friday at some time between
21:00 GMT and 23:00 GMT. Estimated downtime is 10 minutes.
MUME will be unavailable during this time, we will not get advance warning
so don't do anything too dangerous during this period...

- Ilie