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 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