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
