henry (07/26/82)
As you may have noticed, the decvax-utzoo line is in operation again. Armando cleared up the problem. We are caught up at least as far as early Saturday morning; any remaining backlog should clear out in the next day or two.