On Mon, May 4, 2020 at 11:56 AM Chet Ramey <[email protected]> wrote:
> I applied this patch, with a minor change or two, and it will be in the
> next bash and readline devel branch pushes.

Great! Thanks -- looking forward to it.

Greg

Reply via email to