Commit f6d56149e69a8d93bafec0118f2e0ec58824e09e

Bruno Haible 2009-01-24T15:01:21

Adjust specification.