]> git.lizzy.rs Git - rust.git/commit
Auto merge of #51225 - oli-obk:miri_oob_ptr, r=eddyb
authorbors <bors@rust-lang.org>
Fri, 1 Jun 2018 06:42:12 +0000 (06:42 +0000)
committerbors <bors@rust-lang.org>
Fri, 1 Jun 2018 06:42:12 +0000 (06:42 +0000)
commit1dcda69586d72d13c3e7815393c3c16b2b880d48
tree1fbcf9cdca5b4d33f864b8ffb2a1bc68fbdbeac9
parent63cd4a39ead1bdcc6f4df5f11d187916bd8d3ea7
parent06394518f8c53ac940977fb16467942c0a1ca58c
Auto merge of #51225 - oli-obk:miri_oob_ptr, r=eddyb

Fix the miri submodule

cc @bjorn3

r? @eddyb