[hacknews] CRABS bug fixes

henry (05/25/82)

Installed some minor bug fixes to CRABS, supplied by lshum.