Peter O'Gorman wrote:
> > How about this proposed patch? Does it work for you?
> 
> This worked.

Paul Eggert wrote:
> Yes, that looks good to me

So I committed the patch.

Bruno



Reply via email to