Autzoo.731
gripes
utzoo!phyllis
Fri Jun 12 17:36:15 1981
Logging off public terminals
Users should be reminded, once again, that they should remember
to logoff public terminals.  Switching terminals off DOES NOT
logoff!!!!!!!!!