On 14 November 2013 17:33, Cedric Blancher <cedric.blanc...@gmail.com> wrote: > On 12 November 2013 17:58, Chet Ramey <chet.ra...@case.edu> wrote: >> On 11/7/13 10:31 AM, Simon Toedt wrote: >> >>>> Yes. There are a few issues with the bash-20131025 snapshot. I've >>>> attached a patch that fixes them. >>> >>> Chet, can you push the patch to git to avoid that other people stumble >>> over that build issue, please? >> >> I pushed another snapshot this morning. > > Thank you. Seems to work fine :) > > Ced > -- > Cedric Blancher <cedric.blanc...@gmail.com> > Institute Pasteur >
Seems to be working OK in bash4.3 rc1, too. Chet, Cedric, thank you! Dan
