Arando is back online. Please feel free to restart the bots there. Cheers, Dima
On Friday, February 12, 2016 at 5:33:33 PM UTC, Dima Pasechnik wrote: > > Our 32-bit buildbot arando was making noises sounding like a dying fan. > I've had to shut down it > until I have time to fix it. > > Dima > -- 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.
