bug#55627: closed (hurd exported twice in (guix platforms))

[GNU bug Tracking System]

Your message dated Wed, 25 May 2022 13:03:17 +0200
with message-id <87sfox6fii.fsf@gnu.org>
and subject line Re: bug#55627: hurd exported twice in (guix platforms)
has caused the debbugs.gnu.org bug report #55627,
regarding hurd exported twice in (guix platforms)
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
55627: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=55627
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems

--- Begin Message --- Subject: hurd exported twice in (guix platforms) Date: Wed, 25 May 2022 12:37:21 +0300

hurd is defined in (guix platforms hurd) and in (guix platforms x86)

-- 
Efraim Flashner   <efraim@flashner.co.il>   אפרים פלשנר
GPG key = A28B F40C 3E55 1372 662D  14F7 41AA E7DC CA3D 8351
Confidentiality cannot be guaranteed on emails sent or received unencrypted

signature.asc
Description: PGP signature

--- End Message ---

> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#55627: hurd exported twice in (guix platforms)
>
>
>
>
> Date: 
>
> Wed, 25 May 2022 13:03:17 +0200
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux)
>
>
>
>
> Thanks for the heads-up. Fixed with
> a9dcd60bc11afb3934c11fbad159a16f0f223fd1.
>
> Mathieu
>
>
> --- End Message ---