On 2011-06-20 17:53, Robert Bradshaw wrote: > What is the purpose of this milestone? Things that would be positive > review, but you want the merge script to ignore them?
Essentially yes. Except that it's not the merge script but me personally. -- 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
