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
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