> On 8 Aug 2026, at 15:11, Bertrand Drouvot <bertranddrouvot(dot)pg(at)gmail(dot)com> wrote:
> FWIW, goldfish was slow at that time. It's now fixed,
Thanks for confirming.
> but +1 for the patch.
Agreed, a temporarily slow/overloaded etc buildfarm machine shouldn't cause
this failure so I will go ahead with the patch during next week.
--
Daniel Gustafsson