While arando (the box) is in my office, it's not me who runs the patchbot/buildbot there.
Is it Volker, or Jeroen? On Thursday, 19 March 2015 08:43:53 UTC, Frédéric Chapoton wrote: > > *+ 1* > > And if possible, let the patchbot work on the base of the latest beta. > > Frederic > > Le jeudi 19 mars 2015 07:54:05 UTC+1, Ralf Stephan a écrit : >> >> Hello, >> this system is still spamming with wrong patchbot results: >> 6.6.beta5 Ubuntu/14.04/i686/3.13.0-40-generic/arando >> <http://patchbot.sagemath.org/ticket/?machine=Ubuntu:14.04:i686:3.13.0-40-generic:arando&status=open> >> >> Please fix your system. Regards, >> > -- 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 http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
