Pull request for local fields

LMFDB / lmfdb-inventory

inventory of the lmfdb database

3 stars 14 forks source link

Closed jwj61 closed 6 years ago

jwj61 commented 6 years ago

Not needed immediately, but before the current master makes it to production, we should update

fields fields.rand

from the database localfields. There is a new entry and index.

AndrewVSutherland commented 6 years ago

Done. Let me know if everything looks OK and I'll delete the old versions.

jwj61 commented 6 years ago

Looks ok.

AndrewVSutherland commented 6 years ago

Thanks, old versions are gone.