Auto merge of #67147 - RalfJung:miri, r=RalfJung

update Miri Fixes https://github.com/rust-lang/rust/issues/67124
2019-12-08 13:10:52 +00:00 · 2019-12-08 13:10:52 +00:00 · 4abb0ad273
parent e862c01aad 3d05a2705f
commit 4abb0ad273
2 changed files with 2 additions and 1 deletions
--- a/Cargo.lock
+++ b/Cargo.lock
@ -2213,6 +2213,7 @@ dependencies = [
 "rand 0.7.0",
 "rustc-workspace-hack",
 "rustc_version",
+ "serde",
 "shell-escape",
 "vergen",
 ]
--- a/src/tools/miri
+++ b/src/tools/miri
@ -1 +1 @@
-Subproject commit a0ba079b6af0f8c07c33dd8af72a51c997e58967
+Subproject commit 048af409232fc2d7f8fbe5469080dc8bb702c498