Re: [Savannah-users] update on dns problem for savannah

2018-01-18 Thread Ian Kelling
Ian Kelling writes: > There was a misconfiguration in the dnssec records. We are working on > fixing it, but it also should be resolved as dns caches expire. I'll > udpate if I have a better estimate of how long that will be. Most > nameservers do not have this issue, and if you want an immediat

[Savannah-users] update on dns problem for savannah

2018-01-18 Thread Ian Kelling
There was a misconfiguration in the dnssec records. We are working on fixing it, but it also should be resolved as dns caches expire. I'll udpate if I have a better estimate of how long that will be. Most nameservers do not have this issue, and if you want an immediate fix, using 8.8.8.8, google's

[Savannah-users] Partial DNS problem to resolve A record of savannah.gnu.org

2018-01-18 Thread Jens Schleusener
Hi, on a leased server it's suddenly today no longer possible to resolve the A record of savannah.gnu.org while on my home PC there are no such problems (besides of my default provider nameserver I tested also the Google servers google-public-dns-a.google.com and google-public-dns-b.google.co