Anything new on the patchbot server status ? 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 > <javascript:>> 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 > > > > > Frederic > > > > -- > > 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+...@googlegroups.com <javascript:>. > > To post to this group, send email to sage-...@googlegroups.com > <javascript:>. > > Visit this group at https://groups.google.com/group/sage-devel. > > For more options, visit https://groups.google.com/d/optout. > > > > -- > William (http://wstein.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.
