Re: [PATCH] Shell selection refinement

[Eric Sunshine]

Paul Eggert wrote:
Thanks.  I installed that patch (actually, the following slightly
different patch):
Thank you.

-- ES