]> git.lizzy.rs Git - rust.git/commit
Auto merge of #55393 - oli-obk:immediate_immediately, r=RalfJung
authorbors <bors@rust-lang.org>
Sun, 4 Nov 2018 15:06:32 +0000 (15:06 +0000)
committerbors <bors@rust-lang.org>
Sun, 4 Nov 2018 15:06:32 +0000 (15:06 +0000)
commitca4fa6f567b5d8a01f7db864539a43457119a45c
tree5b05aeaa9929bdc1375355fc08b2a78514ec4535
parentac708826b0d97e105f91a4cde41bfe14cff032f2
parent400f997de3de3ae43d7f7675e8e08f29282273aa
Auto merge of #55393 - oli-obk:immediate_immediately, r=RalfJung

Rename `Value` to `Immediate` for miri

r? @RalfJung