On Apr 4, 1:13 pm, William Stein <wst...@gmail.com> wrote: > Great idea! Post a ticket.
This is now #11121 and awaits review :) -Keshav -- 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
