Commit daefecf702f57894a7b7da894b8e47e74e04b433

Bruno Haible 2004-02-02T11:35:26

Tiny fix.