Commit e99d55c5296dfc511284b197101104ed5cbc1f9b

Bruno Haible 2006-12-12T12:50:14

Merge changes from the haible-private branch.