Merge branch 'stats' of git://github.com/JohnCremona/lmfdb into stats
Merge branch 'stats' of ssh://fermat.warwick.ac.uk/home/jec/lmfdb into stats
Merge branch 'stats' of git://github.com/JohnCremona/lmfdb into stats