On 5 mai, 12:01, Jeroen Demeyer <jdeme...@cage.ugent.be> wrote: > This is #11278 (needs_review). Thanks for pointing that out, I'll have a look at it.
-- 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