Commit f3597013e3eb1aa59d16aa6c453fd806859b9898

Bruno Haible 2009-03-01T18:12:43

Omit an error message that the caller can do better.