From: bors <bors@rust-lang.org>
Date: Sun, 1 Jul 2018 00:04:14 +0000 (+0000)
Subject: Auto merge of #51943 - oli-obk:miriup, r=kennytm
X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=33b40f56792f0ed198b79818891634275cb8168e;p=rust.git

Auto merge of #51943 - oli-obk:miriup, r=kennytm

Update the miri submodule

r? @kennytm
---

33b40f56792f0ed198b79818891634275cb8168e