Commit 9c4e0c0e780a7274da669067706b61d2b335c28a

Bruno Haible 2006-07-19T20:18:36

Merged for 1.11.