On Mon Nov 28, 2022 at 7:27 AM GMT, Raghav Gururajan via Guix-patches via wrote:
> Pushed!
>
> Thanks so much for the patches and your patience.

THANK YOU! <3 <3 <3

    -- (