diff options
| author | Ralf Jung <post@ralfj.de> | 2024-09-22 08:22:18 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2024-09-22 08:22:18 +0200 |
| commit | b4c7ce55a79cb714a46691a02f2240d8dc251faf (patch) | |
| tree | 885b5fe86a1c2ff6af97c9b5fac737f0040fb2ec | |
| parent | a3fea24971e748914354acaf90033bbe594a4fa5 (diff) | |
| download | rust-b4c7ce55a79cb714a46691a02f2240d8dc251faf.tar.gz rust-b4c7ce55a79cb714a46691a02f2240d8dc251faf.zip | |
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 c3276d82d4f..76fe17316ac 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -c0838c8ebec23fb87855bb6de3a287981cb1df98 +6ce376774c0bc46ac8be247bca93ff5a1287a8fc |