Commit 76c6045f56fc4e313ab45ec1d8e46d0cc3c7ab43

Paul Eggert 2006-01-11T07:34:33

Undo previous change.