Ok, thanks a lot for the feedback. I will investigate. But Arando was running smoothly with 2.3.1, so please get back to that for this machine for the moment.
What command exactly did you run ? Did you choose a specific ticket ? Could you please try to use the patchbot 2.3.2 with safe-only set to False ? What happens then ? I am a bit sorry to say that I have no machine at my disposal where I can safely experiment with my changes to the patchbot. So I test only in the "plugin_only" mode on my own laptop. Frederic Le mardi 7 avril 2015 20:39:12 UTC+2, Frédéric Chapoton a écrit : > > Hello, > > Could please the one of you that run the sage4 patchbot upgrade it to > 2.3.2 ? > > It seems to be stuck on ticket #9386. Maybe updating the patchbot could > help ? > > sage -i http://chapoton.perso.math.cnrs.fr/patchbot-2.3.2.spkg > > cheers, > > Frederic > -- 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
