git.savannah.gnu.org is also giving no route to host and http://savannah.gnu.org also fails. Suspect some form of DNS issue?

On Mon, 25 Nov 2019 at 19:10, Gregor Zattler <telegraph@gmx.net> wrote:
Dear Webmaster, debbugs seems down or at least its web server.

I cannot reach
https://debbugs.gnu.org/cgi/bugreport.cgi?bug=36937
nor http://debbugs.gnu.org/

while I can reach other sites.

Ciao; Gregor
--
 -... --- .-. . -.. ..--.. ...-.-




--
regards,

Tim

--
Tim Cross