On Sat, 13 Aug 2022 16:19:46 +0200
Tobias Geerinckx-Rice via Guix-patches via <guix-patches@gnu.org> wrote:

> Leaving open for now,

Hi raingloom, hi Tobias,

is there anything left here? Will you provide an updated patch with
some remainings, or can we close this here?

I'm just skimming through older patches and try to identify what needs
to be pushed vs can be closed.

Thanks,

Björn