From: bors <bors@rust-lang.org>
Date: Sat, 9 May 2020 12:09:15 +0000 (+0000)
Subject: Auto merge of #1405 - RalfJung:stage-0, r=RalfJung
X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=8a6396ffa55473bd1ba2555860954633d44798b9;p=rust.git

Auto merge of #1405 - RalfJung:stage-0, r=RalfJung

make Miri work in rustc bootstrap stage 0

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

8a6396ffa55473bd1ba2555860954633d44798b9