On Thursday, October 20, 2016 at 10:38:01 AM UTC+2, Dima Pasechnik wrote: > > I can neither see tickets, nor even ssh into the server. > Looks like a reboot will be needed. > > Dima >
Not just trac, I get DNS resolution error when trying to reach sagemath.org. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.