henry (07/05/82)
/usr is getting rather full. The proper fix for this is to start moving old news archives out to tape, but since I don't have time to do this before I leave, I've kludged a bit to give us some breathing space until I can do things properly. Specifically, I've moved the seldom-used /usr/v6 directory tree to a tape (on my desk if anyone needs it) and deleted it from disk temporarily.