henry (07/05/82)
Unix will be shut down briefly (half an hour?) at 1100 next Monday (July 12) for maintenance.