Re: Problem with valgrind-tests: relies on bash not causing error

[Reuben Thomas]

On 5 August 2017 at 19:46, Paul Eggert <egg...@cs.ucla.edu> wrote:

> Thanks, I installed the attached somewhat-more-fancier patch; does it work
> for you?
>

​That works fine; thanks very much.

-- 
https://rrt.sc3d.org <http://rrt.sc3d.org>