gnu.org has been experiencing frequent downtime lately. What is going on?
https://www.isitdownrightnow.com/gnu.org.html
With a couple of tests I can see they are facing problems with their ns3.gnu.org nameserver; others ns1, ns2, and ns4 ping just fine.
With a couple of tests I can see they are facing problems with their ns3.gnu.org nameserver; others ns1, ns2, and ns4 ping just fine.