Paul Eggert wrote:
> I gave the patch a quick scan just now and it 
> looks fine; please install when you find the time.

Done.

Bruno


Reply via email to