diff --git a/src/tools/miri/rust-version b/src/tools/miri/rust-version index b71a0d219d77..b3f8a26875f4 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -f4665ab8368ad2e8a86d4390ae35c28bdd9561bb +2a9bacf6187685931d52346a0ecff2e52bdc91cc