Subject: [bug#57872] Never mind

From: Maxime Devos <[email-masked]>
Date: Mon, 19 Sep 2022 15:43:19 +0200

On 19-09-2022 00:31, Felix Lechner via Guix-patches via wrote:
> Hi,
> 
> My last comment was superseded by the closure of this related issue. [1]

As such, closing the issue (note for the future: you can do so yourself, 
by sending to [email-masked]).

Greetings,
Maxime.