Commit b7285ef59198ab3a562df0c91c6b1c781620e45e

Bruno Haible 2008-03-03T12:52:53

Oops, fix last commit.