My desktop is still churning though tickets, it might take another day until it gets to this one...
On Monday, October 8, 2012 11:52:16 PM UTC+1, bump wrote: > > > On Monday, October 8, 2012 4:50:58 AM UTC-7, Volker Braun wrote: >> >> If you click on "log" then you see that the server timed out. This was >> sometime last week where the patchbot server was down. You can re-run the >> tests by adding ?kick to the url (I just did that, for the record) >> >> http://patchbot.sagemath.org/ticket/13461/?kick >> > > Evidently we both tried this. I tried it after I saw your message several > hours ago, but as far as I can tell the patchbot didn't rerun the patch, > now or any time after October 4 ... so the kick didn't work. I didn't (yet) > try Anne's suggestion of making a trivial change to the patch ... > > Dan > > -- You received this message because you are subscribed to the Google Groups "sage-combinat-devel" group. To view this discussion on the web visit https://groups.google.com/d/msg/sage-combinat-devel/-/Xd0pSwsYTKAJ. To post to this group, send email to sage-combinat-devel@googlegroups.com. To unsubscribe from this group, send email to sage-combinat-devel+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/sage-combinat-devel?hl=en.
