Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Summary: Downloading from the CDN is much faster than from SourceForge, both on my home WiFi and at the office. I checked using the `diff` utility that both files are identical. **Test Plan** Circle CI build on this PR. Closes #11087 Differential Revision: D4226538 fbshipit-source-id: a30ec1d94fe3228342c4a198bf65df7a95e0c005
- Loading branch information