Commit fe3dc14252269229ccfc54fdfa56b287e5b41688

Bruno Haible 2004-02-02T11:34:53

Tiny fix.