Bruno Haible Sun, 16 Aug 2009 12:13:02 -0700
> I'm applying this fixup. Oops, you were quicker. Thanks.
Bruno