Rename Value
to Immediate
for miri#55393
Merged
bors merged 4 commits intorust-lang:masterfrom oli-obk:immediate_immediatelyNov 4, 2018
Commits
Commits on Nov 2, 2018
- committed
- committed
- committed
Value
to Immediate
for miri#55393