Perfect - thanks, Mike. I'll have a look in a bit. Rob
On Mar 15, 6:40 pm, Mike Hansen <mhan...@gmail.com> wrote: > I have a more systematic fix for this in my patch at #10335. -- 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
