Commit 07051aa2e143a0bc761d90f4e90bd2c8906c1df4

Bruno Haible 2007-10-02T00:43:39

Update after renamings.