Subject: Re: bug#55627: hurd exported twice in (guix platforms)
From: Mathieu Othacehe <[email-masked]>
To: [email-masked]
Cc: Efraim Flashner <[email-masked]>
Date: Wed, 25 May 2022 13:03:17 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Thanks for the heads-up. Fixed with
a9dcd60bc11afb3934c11fbad159a16f0f223fd1.

Mathieu