Commit e34cd3ea41290d1f1b80090843e9bbb72ad829f3

Tom Tromey 1998-06-01T23:20:43

Fixlet from Ian