Subject: Re: bug#70551: channel-with-substitutes-available without network

From: Simon Tournier <[email-masked]>
Date: Tue, 23 Jul 2024 16:35:36 +0200

Hi,

On Wed, 05 Jun 2024 at 10:14, Simon Tournier <[email-masked]> wrote:
> On Wed, 24 Apr 2024 at 16:43, Simon Tournier <[email-masked]> 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