On Tuesday, October 2, 2018 at 10:40:28 AM UTC-5, Nathan Dunfield wrote:
>
> This is a known bug and we are working on it (there's even a ticket). It
> should be fixed soon. It's some issue with our configuration script.
>
FYI, this issue has now been fixed and the corrected version is on PyP
This is a known bug and we are working on it (there's even a ticket). It
should be fixed soon. It's some issue with our configuration script.
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving em
