From: bors <bors@rust-lang.org>
Date: Tue, 31 Aug 2021 08:32:31 +0000 (+0000)
Subject: Auto merge of #88491 - RalfJung:miri, r=RalfJung
X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=fe37929e4cba2c5c21e6805805769630c736bc3d;p=rust.git

Auto merge of #88491 - RalfJung:miri, r=RalfJung

update miri

Fixes https://github.com/rust-lang/rust/issues/88473
---

fe37929e4cba2c5c21e6805805769630c736bc3d