henry (07/23/82)
The problem is not that decvax is down but that its dialin lines are disconnected, thanks to a screwup by the phone company associated with a move to a new building. Armando reports that he is expecting the problem to be cleared up any time now.