Hi! On Thu, Apr 23, 2015 at 12:48:01PM -0700, Frédéric Chapoton wrote: > Who is running eddy ? Please ? A French person, it seems.
Oops, it's us at LRI! Thanks for the report. We updated it yesterday, so hopefully it's behaving properly now. > By the way, please patchbot owners, register yourself here : > http://wiki.sagemath.org/buildbot/owners Done! By the way: what about having a configuration flag for the patchbot to specify the name or maybe e-mail of the patchbot owner, rather than maintaining this info in a separate wiki page? Cheers, Nicolas -- Nicolas M. Thiéry "Isil" <nthi...@users.sf.net> http://Nicolas.Thiery.name/ -- 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.
