Commit 6555032ce1d744fe2f04f0299f89cf0995581d2a

Bruno Haible 2009-08-30T18:19:49

Fix today's commit.