Robert Miller wrote:
I remember merging both of those. :) Sorry guys, my bad.Looks like once again I've spoken too soon. I guess I only merged the first fix......
At one time there were two release managers :) Jaap -- 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
