Yes, Niles, I saw that. I was helping a new developer-to-be learn development practices and we were practicing on #9936. You beat us to a positive review by about 15 minutes. Dang. ;-)
No problem. We should be so lucky as to have to compete for review- able tickets! Thanks for the quick response. Rob On Sep 21, 9:59 am, Niles <[email protected]> wrote: > #9936 is done :) -- To post to this group, send an email to [email protected] To unsubscribe from this group, send an email to [email protected] For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
