Hi, On Wed, 05 Jun 2024 at 10:14, Simon Tournier <zimon.touto...@gmail.com> wrote: > On Wed, 24 Apr 2024 at 16:43, Simon Tournier <zimon.touto...@gmail.com> wrote: > >> Out of any network, I get this error:
[...] >> Well, the proposed fix is here to catch the error; maybe it could be >> finer than #t. [...] > Friendly ping for this patch? Pushed as ffdcef5f36196f5e004ca6cb96f5accc0c73fc92. Cheers, simon
