This is now #23041.
.. Are you dcoudert ? I see 20 sage developers named David, but only 1 with
an Inria affiliation :D (ps: here i can only read "david@inria.fr")
El domingo, 21 de mayo de 2017, 10:22:05 (UTC+2), david@inria.fr
escribió:
>
> Yes, please open a ticket to update the
Yes, please open a ticket to update the documentation (not done in
https://trac.sagemath.org/ticket/19522).
--
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-d
