On 03/02/2012 02:29 PM, kcrisman wrote:

IF the patchbot actually applied the right patches to the right
development version, naturally, which I suppose is what you mean in
the next line?


I meant that it would suck if the patchbot marked a ticket "needs work" because e.g. it ran out of memory.

--
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

Reply via email to