]> git.lizzy.rs Git - rust.git/commit
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)
commit7d576f25fcb0b0ea1e4d442329a4949765fa02f0
tree796e9d4e91744845715b2bd8286eb4b000a11fe1
parent3575be60eab140e69e5a75fe5c3b4119c2a17179
parentc36bb94311163a0e14867ca417b8b0a3b681f723
Auto merge of #51325 - japaric:miri-up, r=TimNN

update the miri submodule

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

r? @TimNN