There are still some other things to do, so don't think if I didn't fix your favorite bug that your bug report is in the bit bucket. (It may be, but don't think it.)
Usenet article <7238@jpl-devvax.JPL.NASA.GOV> (1990)
Google Groups[groups.google.com]