]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
Rollup merge of #68576 - jonhoo:bump-miri, r=oli-obk
authorMark Rousskov <mark.simulacrum@gmail.com>
Mon, 27 Jan 2020 18:42:02 +0000 (13:42 -0500)
committerGitHub <noreply@github.com>
Mon, 27 Jan 2020 18:42:02 +0000 (13:42 -0500)
commit69362b9c9edc1ce36810a723d5edddcb805c4cd7
tree462a26e2ecc48ec6136b3e89540b9e0d433975a1
parentaa6e58b3525e1d89b87d55546c69563716772df8
parent98724074d7733cb3131a1a73360534c32024c0a5
Rollup merge of #68576 - jonhoo:bump-miri, r=oli-obk

update miri

Bump miri for rust-lang/miri#1150

r? @oli-obk