Dear all, I just have made so that one can now use the following permanent bookmark to monitor the patchbot results on one's tickets:
http://patchbot.sagemath.org/?base=develop&participant=was Replacing "was" by your own login will give results for tickets you have been involved in. It will always stay tuned on the results for the latest develop branch. 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 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.