Commit df0d6366d9a058561ce6c808f5ddc727e5e6d193

Bruno Haible 2002-05-29T14:16:19

Oops.