Commit dcf49e35108a6a1897f15090e22dcd9763872292

Bruno Haible 2008-08-31T00:01:36

Undo unintentional commit.