Commit 0821248d7594d16aa985c3f5b365005db1df88e9

Bruno Haible 2008-03-09T22:12:55

Fix mistake in last commit.