> Before I even look closer: are you using git master of patchbot? the advertised one. I must admit that for me it worked best to select the tickets by hand http://patchbot.sagemath.org/?machine=Ubuntu:12.04:x86_64:3.8.0-29-generic:groebner&status=needs_review ;-)
In case a patchbot state was suspicious ('failing tests on your install') I did a build from scratch and selected a different ticket. > you will have to find your own solutions. Ok, thanks for the hint. I will take a look and if I get stuck I will ask for help then. Jakob Am Samstag, 7. März 2015 22:24:03 UTC+1 schrieb Ralf Stephan: > > Before I even look closer: are you using git master > of patchbot? Have you had a look at my pull requests? > Be aware that the version advertised on the web page > may be not state-of-the-art and maintenance by the > author is rare, I.e., you will have to find your own > solutions. > > -- 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.