Commit 63f686a80e5c220144a0ad052ef4cd81768e5bbf

Bruno Haible 2007-05-29T22:56:54

Fix last patch for real.