]> git.lizzy.rs Git - rust.git/commitdiff
Auto merge of #50520 - Zoxc:alloc-misc, r=oli-obk
authorbors <bors@rust-lang.org>
Tue, 22 May 2018 10:35:59 +0000 (10:35 +0000)
committerbors <bors@rust-lang.org>
Tue, 22 May 2018 10:35:59 +0000 (10:35 +0000)
Misc changes related to Miri allocations

This builds on top of https://github.com/rust-lang/rust/pull/50249

r? @oli-obk


Trivial merge