Commit 4d7bf7ecdc3d9f4fc8e2b91aa9bde0741acb5435

Paul Eggert 2004-08-11T22:46:55

Convert to UTF-8.