On Tue, 14 May 2019 at 23:20, Chet Ramey <chet.ra...@case.edu> wrote:
> That's similar to the report Martijn cited, but not the same. The right one is
>
> http://lists.gnu.org/archive/html/bug-bash/2016-11/msg00031.html
>
> and the right commit is
>
> http://git.savannah.gnu.org/cgit/bash.git/commit/?h=devel&id=78a3f8a4bae8ef98daa26b64ddbc03c6fc3ffcd0
Cheers Chet - that change indeed fixes it.



Reply via email to