[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: DNS problems with guix.gnu.org domain (and a tip)
|
From: |
Simon Tournier |
|
Subject: |
Re: DNS problems with guix.gnu.org domain (and a tip) |
|
Date: |
Fri, 14 Apr 2023 11:48:21 +0200 |
Hi,
On Fri, 14 Apr 2023 at 09:23, Simon Tournier <zimon.toutoune@gmail.com> wrote:
> Is it possible that the problem would come from
> 1e428e8fd6945f5c9f13a14e9cd97c81f3f4d945 or
> d3627a9d877a40b357739aa9c21753fd14f43227 from the repository
> maintenance?
It is not the issue. :-) Sorry for the noise.
Quoting Ricardo [1]:
Short story is that the main GNU DNS server that we talk to has a new IP.
https://logs.guix.gnu.org/guix/2023-04-14.log#110402
Cheers,
simon