Commit 3615bcf8002b6acf79a06374e5423343d4c142f2

Tom Tromey 1996-10-06T16:09:41

fixlet