Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Summary: We still support Debian/Ubuntu versions which have a too-old boost. Sadly we are no longer testing them so we missed that boost now self-hosts its sources. Update the `get_boost.sh` script. Reviewed By: wsanville Differential Revision: D68358156 fbshipit-source-id: 1a40fa703b11ad36b322b60b60ad8b2125211c66
- Loading branch information