]> git.lizzy.rs Git - rust.git/commitdiff
projects / rust.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: bdae618 2d161f1)
Auto merge of #46743 - oli-obk:miri, r=eddyb
authorbors <bors@rust-lang.org>
Sat, 16 Dec 2017 16:16:16 +0000 (16:16 +0000)
committerbors <bors@rust-lang.org>
Sat, 16 Dec 2017 16:16:16 +0000 (16:16 +0000)
Some miri cleanups

r? @eddyb


Trivial merge
Empowering everyone to build reliable and efficient software.