]> git.lizzy.rs Git - rust.git/commit
Auto merge of #1028 - RalfJung:place-apis, r=RalfJung
authorbors <bors@rust-lang.org>
Sat, 2 Nov 2019 10:53:37 +0000 (10:53 +0000)
committerbors <bors@rust-lang.org>
Sat, 2 Nov 2019 10:53:37 +0000 (10:53 +0000)
commit22d0546aed2f0c8545f939fe756ababae7a5020b
treea644085e768ee00a83cf193eaa383ee9c79d86de
parentd4e4fe71e6a9568f5d081d99f1c621c5a4ddd7db
parentddb1fc9205586ccd4f71bb7de583769f9fd3fa77
Auto merge of #1028 - RalfJung:place-apis, r=RalfJung

use Place API instead of Allocation API