Thanks for that -- I had not realised that it was an upstream issue. I'll get Bober to merge your PR -- thanks for doing that Dima.
On Tuesday, November 17, 2020 at 12:22:02 AM UTC Matthias Koeppe wrote: > On Monday, November 16, 2020 at 7:55:15 AM UTC-8 Dima Pasechnik wrote: > >> IIRC we have removed this variable lately, >> > > in https://trac.sagemath.org/ticket/30546 > > > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/41a0a189-6480-49eb-b0f6-2a5ab2ac8aden%40googlegroups.com.
