On Tue, Jul 10, 2018 at 3:46 PM Jeroen Demeyer wrote:
>
> Should be easy, I'll do that.
>
> I already created the Sage ticket: https://trac.sagemath.org/ticket/25814
Thanks!
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from thi
Should be easy, I'll do that.
I already created the Sage ticket: https://trac.sagemath.org/ticket/25814
--
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 sage-devel
