Commit 530ba8a799317f320a05520db0e3e4a32b48886a

Tom Tromey 1997-08-06T16:52:08

clean fixlet