On 02/09/11 03:22, Bruno Haible wrote:
> Here's a proposed fix in gnulib-tool instead. Just as effective.

Yes, thanks, I think that'll work.  Could you please install it?

Reply via email to