Auto merge of #63922 - RalfJung:miri, r=nikomatsakis

bors · bors · commit 53df91a9b24a · 2019-08-27T16:23:59.000Z
update miri Cc @oli-obk Fixes #63843
diff --git a/Cargo.lock b/Cargo.lock
@@ -1992,6 +1992,7 @@ dependencies = [
  "compiletest_rs",
  "directories",
  "env_logger 0.6.0",
+ "getrandom",
  "hex",
  "log",
  "num-traits",
diff --git a/src/tools/miri b/src/tools/miri
@@ -1 +1 @@
-Subproject commit d77fe6c63ca4c50b207a1161def90c9e57368d5b
+Subproject commit 69268fb75fdb452296caa9bc4aaeff1674279de2
