commit | 44fb88d25282d9362774536965f2455f677734f3 | [log] [tgz] |
---|---|---|
author | bors <bors@rust-lang.org> | Tue Jun 18 11:18:45 2019 +0000 |
committer | bors <bors@rust-lang.org> | Tue Jun 18 11:18:45 2019 +0000 |
tree | 8c87cb35ca29962c47867338a11488d874ef8504 | |
parent | 03769411561f3d282bfeb0e86ca38d898f02cbdb [diff] | |
parent | 298770406200600be3eedb753d262401b2d59678 [diff] |
Auto merge of #61927 - RalfJung:miri, r=oli-obk update miri Tests fail since https://github.com/rust-lang/rust/pull/61885, this should fix that. r? @oli-obk
diff --git a/src/tools/miri b/src/tools/miri index fd0dccd..e4b298b 160000 --- a/src/tools/miri +++ b/src/tools/miri
@@ -1 +1 @@ -Subproject commit fd0dccd4b12169e0aac42aff8addbb26b6d72197 +Subproject commit e4b298bc4f5a7e86eb78404e25de08f179091e03