diff options
| author | Ralf Jung <post@ralfj.de> | 2024-08-05 10:49:01 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2024-08-05 10:49:01 +0200 |
| commit | d28083728d493533a72e5a7fe9b9820b824cfcac (patch) | |
| tree | 06de12c00f6fe72f75c617f2536252d41e4893cc | |
| parent | 47aea6f806308fe7a1f1c6429357de89b707394f (diff) | |
Preparing for merge from rustc
| -rw-r--r-- | src/tools/miri/rust-version | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/miri/rust-version b/src/tools/miri/rust-version index f03fe70aa21..b74f9759ebe 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -1df0458781d6fd753a68c4cdc4de5313b1635dbd +29e924841f06bb181d87494eba2783761bc1ddec |