David Bartley wrote:
> Updated the gnulib patch accordingly.

Thanks. From my point of view, it's perfect now.

I leave it to Jim to decide when to commit it.

Bruno


Reply via email to