From: bors <bors@rust-lang.org>
Date: Wed, 15 Jul 2020 08:10:02 +0000 (+0000)
Subject: Auto merge of #1478 - RalfJung:readme, r=RalfJung
X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=e5f2b1b3ef4835c84069b84c443f19c788632faa;p=rust.git

Auto merge of #1478 - RalfJung:readme, r=RalfJung

make cfg(miri) greppable
---

e5f2b1b3ef4835c84069b84c443f19c788632faa