Wrong filename for the tlpdb in ftp.tug.org/texlive/historic/2020/?

Karl Berry karl at freefriends.org
Fri Apr 10 23:57:57 CEST 2020

Hi Henrik,

    In ftp.tug.org/texlive/historic/2020/ the tlpdb archive is
    rather than 

    I suppose that this is just a typo? 

You're right, it was a typo. Got my years confused there.
All the files inside the tarball are dated 2020-04-06, so I renamed it
to texlive-20200406-tlpdb-full.tar.gz. --thanks, karl.

More information about the tex-live mailing list.