Hi Karl,

On 27/12/23 08:38, Karl Berry wrote:
     I get one failure (t/nodef)

Hi Peter - I hope this random timing bug is fixed now.

It seems to work. 'make check -j16' goes through and since it seemed to be of a random nature previously I ran the individual test repeatedly and it passed every time.

Cheers,

Peter





Reply via email to