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