Paolo Bonzini <[EMAIL PROTECTED]> writes:

> I don't have CVS access to gnulib; anyway I preferred to have a second
> opinion.

I added you just now.  Please install that patch, as it looks good.


Reply via email to