On Wed, May 3, 2017 at 4:30 PM, Eduardo Bustamante <dual...@gmail.com> wrote:
> > I think this was fixed as a consequence of the following thread: > https://lists.gnu.org/archive/html/bug-bash/2017-03/msg00092.html > > In this commit: > http://git.savannah.gnu.org/cgit/bash.git/commit/?h=devel&id= > f698849a75fc781472806182c3dc930077a5d828 > Oh, I see. Sorry for the noise, then. Great to see that it's fixed already.
