]> git.lizzy.rs Git - rust.git/commitdiff
projects / rust.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: ac70882 400f997)
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)
Rename `Value` to `Immediate` for miri

r? @RalfJung


Trivial merge
Empowering everyone to build reliable and efficient software.