diff --git a/src/tools/miri/rust-version b/src/tools/miri/rust-version index 781e2c95a2e8..5f1a4428febc 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -7701a7e7d4eed74a106f39fa64899dffd1e1025f +e1c91213ff80af5b87a197b784b40bcbc8cf3add