diff options
| author | Ralf Jung <post@ralfj.de> | 2024-12-20 11:28:19 +0100 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2024-12-20 11:28:19 +0100 |
| commit | fafe0ce4ab76b6fa6688f0827649024933b32417 (patch) | |
| tree | 08616e030bd6655f22f2463e11982ae8f69b4552 /src | |
| parent | db960a25d1cd3cf848506561ac88e7d338c4366c (diff) | |
| download | rust-fafe0ce4ab76b6fa6688f0827649024933b32417.tar.gz rust-fafe0ce4ab76b6fa6688f0827649024933b32417.zip | |
Preparing for merge from rustc
Diffstat (limited to 'src')
| -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 10108a6fbca..64ce8862396 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -214587c89d527dd0ccbe1f2150c737d3bdee67b0 +8a1f8039a7ded79d3d4fe97b110016d89f2b11e2 |