From: Oliver Scherer <github35764891676564198441@oli-obk.de>
Date: Mon, 25 Mar 2019 23:20:22 +0000 (+0100)
Subject: Merge pull request #665 from RalfJung/readme
X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=b06879c1bd5d7c2fbe4cc12a0ded31ea5b879ea5;p=rust.git

Merge pull request #665 from RalfJung/readme

update README to suggest installing Miri as a component
---

b06879c1bd5d7c2fbe4cc12a0ded31ea5b879ea5