Karl Berry <karl at freefriends.org> wrote: > Ok, I think/hope tlnet on tug.org has been fixed up. bin-texlive and > texlive.infra were updated. > > Robin, if you could kick off a manual mirroring, that would be much > appreciated. done, and now also pushed out to the other ctans. r