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 NNNNN-done@debbugs.gnu.org).

Greetings,
Maxime.