Subject: Re: [bug#57916] [PATCH core-updates] gnu: xkeyboard-config: Switch to Github repo.
From: Felix Lechner <[email-masked]>
To: [email-masked]
Cc: Maxime Devos <[email-masked]>, Marius Bakke <[email-masked]>
Date: Sun, 18 Sep 2022 14:49:48 -0700
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi,

On Sun, Sep 18, 2022 at 2:36 PM Maxime Devos <[email-masked]> wrote:
>
> If there is an appropriate mirror://, likely there is a HTTP or HTTPS
> among the mirrors than Software Heritage will be able to pick up.

Due to email difficulties, I saw only now that mbakke already picked a
different mirror. [1] I am therefore closing this issue.

Kind regards
Felix Lechner

[1] https://issues.guix.gnu.org/57872#1