Commit b56b2e303252c4eac5cf7f702553d731f5bbfc4e

Bruno Haible 2011-03-12T13:32:33

Oops, fix last commit.