Skip to content

Bug fix for ECNF downloader#7005

Merged
edgarcosta merged 2 commits into
LMFDB:mainfrom
rvisser7:ecnf
May 29, 2026
Merged

Bug fix for ECNF downloader#7005
edgarcosta merged 2 commits into
LMFDB:mainfrom
rvisser7:ecnf

Apply suggestion from @edgarcosta

2b0338d
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Initial setup
succeeded May 29, 2026 in 5s