Commit 6378d89ab8065914ac178342d775244215bcf7f8

Tom Tromey 1996-08-09T15:51:21

Bug fixes