Commit 5ad5323e9a86cc355bcd0f8a872e351d37e214d1

Tom Tromey 1996-12-02T20:52:12

bug fix and version increment