Commit 5e4849bcdcb919237deef435e7a259b269c4b0f7

Bruno Haible 2007-02-11T22:34:50

Cosmetic tweak.