diff --git a/src/tools/miri/rust-version b/src/tools/miri/rust-version index 1d5dd4d3f635..dde8d8676551 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -d150dbb067e66f351a0b33a54e7d4b464ef51e47 +fb53384c94b87adebceb6048865c9fe305e71b92