Commit 726819fba00ad187ffb597c9f0753b29d2ba53c5

Tom Tromey 1997-08-27T19:18:57

quoting fixlet