From: bors <bors@rust-lang.org>
Date: Thu, 11 Mar 2021 11:37:36 +0000 (+0000)
Subject: Auto merge of #83009 - RalfJung:miri, r=RalfJung
X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;ds=sidebyside;h=5c6d3bf3896b465e15550f49c2861e3d18102270;p=rust.git

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

bump Miri

Fixes https://github.com/rust-lang/rust/issues/82961
Cc `@rust-lang/miri` r? `@ghost`
---

5c6d3bf3896b465e15550f49c2861e3d18102270