update Miri

RalfJung · RalfJung · commit ea0b3ab6739a · 2022-03-12T19:30:26.000-05:00
diff --git a/Cargo.lock b/Cargo.lock
@@ -2327,7 +2327,6 @@ dependencies = [
  "compiletest_rs",
  "env_logger 0.9.0",
  "getrandom 0.2.0",
- "hex 0.4.2",
  "libc",
  "log",
  "measureme 9.1.2",
diff --git a/src/tools/miri b/src/tools/miri
@@ -1 +1 @@
-Subproject commit 722475ccc143d2dbf9fad5891207dcb5576e3d17
+Subproject commit a12a48bf723e0e13f043979a7f79861d975e7187
