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 #3457 - RalfJung:replace-librs, r=RalfJung
MIRI_REPLACE_LIBRS_IF_NOT_TEST: also apply to crates.io crates This is needed to make rust-lang/compiler-builtins#586 work.
- Loading branch information