]> git.lizzy.rs Git - rust.git/commitdiff
projects / rust.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | compact (merge: 9081929 f621c25)
Auto merge of #66873 - RalfJung:miri-args, r=dtolnay
authorbors <bors@rust-lang.org>
Sat, 30 Nov 2019 02:12:19 +0000 (02:12 +0000)
committerbors <bors@rust-lang.org>
Sat, 30 Nov 2019 02:12:19 +0000 (02:12 +0000)
really_init cmdline args on Miri

r? @joshtriplett

Closes #66862.


Trivial merge
Empowering everyone to build reliable and efficient software.