Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
auto merge of rust-lang#15578 : alexcrichton/rust/fix-dist-again, r=p…
…nkfelix This is already checked by the install script, no need to check it twice.
- Loading branch information