Commit f7bdb9774ec36ba95713a93ec57bacbb528a6325

Paul Eggert 2004-12-20T04:25:22

Undo previous change.