]> git.lizzy.rs Git - rust.git/commit
Auto merge of #1273 - RalfJung:environ-cleanup, r=RalfJung
authorbors <bors@rust-lang.org>
Sat, 28 Mar 2020 13:33:57 +0000 (13:33 +0000)
committerbors <bors@rust-lang.org>
Sat, 28 Mar 2020 13:33:57 +0000 (13:33 +0000)
commitc89076b43c1a75a445b3ad5540c5d9503b64762b
treefcd6013559dd7c330e33ae47ed1b8956344f3df0
parentf0afdc35d2cd5e6cdbcf24d89e3fdcc1f9837486
parenta6cab24dc057f87dce7cd3134a096725fc31d556
Auto merge of #1273 - RalfJung:environ-cleanup, r=RalfJung

we don't deallocate the environ global, so leave it in the machine

Follow-up to https://github.com/rust-lang/miri/pull/1271. I forgot to adjust this when my plans changed a bit.