Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
unless running on CI servers, reset the CTAN mirror in binary install…
…ations since we have fixed it in ff56504; should we fix the CTAN mirror no matter what? I don't know; if only there were a mirror that is based on CDN (then I wouldn't need to worry about which mirror to use) for CI servers, we continue to use the fixed mirror
- Loading branch information