Commit 095b97e5070fd762439764f0843eaa6de5eb1ac3

Bruno Haible 2008-05-22T00:54:26

Oops, remove stray semicolon added in last commit.