Ok, I just answered my question : the information must be put in a comment, not in the description of the ticket.
The release manager already asked to put the information about which patch to apply in which order in the description instead of hidden somewhere in a comment. So, could the Buildbot also read the description? Sébastien -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org