Subject: Re: [bug#62307] [PATCH core-updates v2 00/20] Update Hurd and fix build failures

From: Ludovic Courtès <[email-masked]>
Date: Thu, 30 Mar 2023 12:48:06 +0200

Hi Josselin,

Josselin Poiret <[email-masked]> skribis:

> Just had a look and built locally.  LGTM!  Great work (even though it's
> still unfinished, but that's for another day).

Thanks for testing!  Pushed as 14cd517e0cb8829b06b5a49f91c762c4a0e52eb5.
I uploaded the MiG tarball to ftp.gnu.org/gnu/guix and adjusted the URL
accordingly.

Ludo’.