]> git.lizzy.rs Git - rust.git/commitdiff
projects / rust.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: f0afdc3 a6cab24)
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)
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.


Trivial merge
Empowering everyone to build reliable and efficient software.