From: bors <bors@rust-lang.org>
Date: Sun, 4 Nov 2018 15:06:32 +0000 (+0000)
Subject: Auto merge of #55393 - oli-obk:immediate_immediately, r=RalfJung
X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=ca4fa6f567b5d8a01f7db864539a43457119a45c;p=rust.git

Auto merge of #55393 - oli-obk:immediate_immediately, r=RalfJung

Rename `Value` to `Immediate` for miri

r? @RalfJung
---

ca4fa6f567b5d8a01f7db864539a43457119a45c