On Tuesday, October 22, 2013 12:53:02 PM UTC+1, Frédéric Chapoton wrote: > > 1) I would like to tell whoever is running the patchbot named > > > Fedora/19/x86_64/3.11.2-201.fc19.x86_64/desktop<http://patchbot.sagemath.org/ticket/?machine=Fedora/19/x86_64/3.11.2-201.fc19.x86_64/desktop&status=open> > > that her/his patchbot is probably an old broken version, that should be > updated to a new version (please clone from > https://github.com/robertwb/sage-patchbot) >
Thats me and it is using the patchbot spkg. What makes you think its an old version? > -- 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/groups/opt_out.
