bors 02bba3f531 Auto merge of #1124 - RalfJung:sysroot-check, r=oli-obk ... disable sysroot checks for distributed binaries This should help with https://github.com/mozilla/nixpkgs-mozilla/issues/198.		2019-12-23 17:14:48 +00:00
..
cargo-miri.rs	Auto merge of #1124 - RalfJung:sysroot-check, r=oli-obk	2019-12-23 17:14:48 +00:00
miri-rustc-tests.rs	Rustfmt all the things	2019-12-23 12:56:23 +01:00
miri.rs	Rustfmt all the things	2019-12-23 12:56:23 +01:00