]> git.lizzy.rs Git - rust.git/commitdiff
projects / rust.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 3575be6 c36bb94)
Auto merge of #51325 - japaric:miri-up, r=TimNN
authorbors <bors@rust-lang.org>
Sun, 3 Jun 2018 13:36:54 +0000 (13:36 +0000)
committerbors <bors@rust-lang.org>
Sun, 3 Jun 2018 13:36:54 +0000 (13:36 +0000)
update the miri submodule

the submodule currently seems to be pointing to a miri branch that has been deleted.

r? @TimNN


Trivial merge
Empowering everyone to build reliable and efficient software.