Noé Lopez via Guix-patches via <guix-patches@gnu.org> writes:

> Hi,
>
> This patch was going to be merged but it was forgotten. It still
> builds fine on my end.
>
> Can someone merge this please?
>
> Thanks in advance,
> Noé Lopez

push, see https://git.savannah.gnu.org/cgit/guix.git/commit/?id=36fcf6092f47ae5d4fad24b3f2f7025f6214a1c3