From: bors <bors@rust-lang.org>
Date: Mon, 3 Dec 2018 09:36:10 +0000 (+0000)
Subject: Auto merge of #56305 - RalfJung:miri, r=oli-obk
X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=7139e1c3ab0f6b912955f27a0f7df13c582ce5ec;p=rust.git

Auto merge of #56305 - RalfJung:miri, r=oli-obk

update miri

This should make miri green again :)
(Includes https://github.com/solson/miri/pull/553)

r? @oli-obk
---

7139e1c3ab0f6b912955f27a0f7df13c582ce5ec