Volker Braun wrote: > Please check up on fileserver.sagemath.org, too, while you are at it...
Yes, their IPs differ by just one... ;-) -leif > On Thursday, July 21, 2016 at 2:20:17 AM UTC+2, William wrote: > > On Wed, Jul 20, 2016 at 12:39 PM, Frédéric Chapoton > <fchap...@gmail.com <javascript:>> wrote: > > Anything new on the patchbot server status ? > > I will have physical access tomorrow. > > > > > Frederic > > > > Le jeudi 14 juillet 2016 17:53:23 UTC+2, William a écrit : > >> > >> On Thu, Jul 14, 2016 at 4:16 AM, Frédéric Chapoton > <fchap...@gmail.com> > >> wrote: > >> > Since a few hours maybe, the patchbot server is not longer > responding, > >> > and I > >> > cannot connect. > >> > > >> > https://patchbot.sagemath.org > >> > > >> > It is currently hosted at UW, I think. > >> > >> Thanks for reporting this. I can't do anything about this for the > >> next week, as I'm not in the US. > >> > >> William -- 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.
