Commit 0db6df9e0962ee1cf4ffd591f28a5d8fe0d23fc0

Bruno Haible 2008-10-06T01:49:54

Tiny tweaks.