Commit 8fc84c5270728b3a5dc5c5ed3fa2e27139a462a3

Paul Eggert 2006-08-14T22:10:20

Change to version suggested by maintain.texi.