tree 0ca16e0243d13bb807b846372dd2d147fc0b95d8
parent aa04ffb61a3e563eb4555057f897191f3ab49386
parent 6bda2e8a7dbd5e0c0263b26ab89f9fe62920824c
author Manish Goregaokar <manishsmail@gmail.com> 1594482809 -0700
committer GitHub <noreply@github.com> 1594482809 -0700
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJfCeB5CRBK7hj4Ov3rIwAAdHIIABl/iCd3rZEwLxlV+9IO0pTh
 rt5sF2jHRtNzy0WafzwmhIghb5my2sXQYnlQrahf6ZZRmmfOfd4dPPFynHx6iUEP
 EhKGUylN8gvM9GtPz/XIZQuBwR4193N6R29DdNZzIL9tsMoirlb0vTz6l2hhCZwl
 ZWFqAnNCd9s9tut2qa+Deh1fvE0wLaFVaDLsQd6UvODL3t/Ao8qe1Nb4WTAV+sA1
 Us+Eku1VzTG9YoJI78Wp1Z14GSUqyJnJm0Zjbf5/ABVmLaBl9ouJOWrD9GKbFzg/
 dQIhKmGWUnjn0lKL5U+qBWQzndhw31etuU/Kgwj8oToVMINPhI6dMQs7tklT8zE=
 =ABl7
 -----END PGP SIGNATURE-----
 

Rollup merge of #74241 - RalfJung:miri, r=RalfJung

update miri

This incorporates https://github.com/rust-lang/miri/pull/1474. [Last time](https://github.com/rust-lang/rust/pull/74146) that change caused trouble but I fixed xargo since then and [now it should work](https://github.com/rust-lang/rust/pull/74146#issuecomment-657051446).

Cc @rust-lang/miri r? @ghost