Commit d7834f34cb055a90437b1076b2c94bad34e317b8

Bruno Haible 2009-08-23T13:10:40

Oops, fix last commit.