On 3/22/11 4:28 PM, Jeroen Demeyer wrote:
I would obviously prefer that the patchbot also only looks at the ticket description to force people not to use comments for this.
That sounds reasonable. +1. Jason -- 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
