Closed JohnCremona closed 6 years ago
Done. I'll leave this open since I have not yet done the cleanup, that will be done after the next code push to prod.
I'm sorry but I cannot remember if I did this -- probably not since the last push to prod was on 2017 Oct 23.
I realised that I could easily see from http://www.lmfdb.org/api/all that there are still some .old collections, so I am cleaning them up now...done.
This follows the addition of torsion growth data, and is necessary before the next code push to prod. I'm doing it now.