Autzoo.1197
hacknews
utzoo!henry
Tue Dec  8 20:05:41 1981
lint fix
Fixed a minor bug in the option-cracking code in lint, as described
in net.v7bugs.  Also took the opportunity to recompile lint.