> On Mar 14, 2019, at 13:40 , kcrisman wrote:
>
> Justin, just to try for another data point for
> https://groups.google.com/forum/#!topic/sage-devel/pNvpzOH4e1Q could you try
> running the optional internet tests as well for this one? Just running
> --optional=sage,internet on one file, e
Justin, just to try for another data point
for https://groups.google.com/forum/#!topic/sage-devel/pNvpzOH4e1Q could
you try running the optional internet tests as well for this one? Just
running --optional=sage,internet on one file,
e.g. src/sage/databases/oeis.py should suffice to test this o
