From 2b751f621c9a8f7bfd294cbbe792a3f1e72aee19 Mon Sep 17 00:00:00 2001
From: The Miri Cronjob Bot <miri@cron.bot>
Date: Wed, 20 Nov 2024 05:00:09 +0000
Subject: [PATCH] Preparing for merge from rustc

---
 src/tools/miri/rust-version | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/tools/miri/rust-version b/src/tools/miri/rust-version
index d0d951c3e115..1fcd33752ec2 100644
--- a/src/tools/miri/rust-version
+++ b/src/tools/miri/rust-version
@@ -1 +1 @@
-b71fb5edc0217eaf8fc824a44cd7b0945e29ff4d
+875df370be806c837f58abb638329905e969ace4