Subject: bug#41549: ! Can't ping ci.guix.gnu.org anymore

From: Léon Lain Delysid <[email-masked]>
Date: Tue, 26 May 2020 22:16:54 +0200

Hello to whichever free human being out there! =)

While executing a "guix pull", I got network errors. Turns out
ci.guix.gnu.org does not respond to ping requests anymore from where I'm
connecting (be it my home connection in Lyon France, my VPN tunnel's end in
Sweden, or my dedicated server in Paris France).

Hope this email finds you well and helps the GNU Project prosper. =)
Awaiting your response…
Ciao!