On Fri, Sep 15, 2017 at 10:45 AM Maarten Derickx < m.derickx.stud...@gmail.com> wrote:
> > > On Friday, 15 September 2017 18:55:57 UTC+2, Volker Braun wrote: >> >> >> I haven't used it in a while as buildbot, it possibly still has the old >> domain name configured. But it basically never succeded in building; 32-bit >> is just too small to build docs and 2+ patchbots in the background. >> >> I just restarted sagebd09_32s02 >> > > Hi Volker, > > Thanks for the reply, does you not saying anything about the following > machines > > dehaye > mod > moufang-1 > redhawk > redhawk and mod no longer exist. > > mean that you do not intend to use them, or does this mean that the status > of these bots depends on the answers of their owners? > > -- > 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. > -- -- William Stein -- 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.
