diff options
| author | The Miri Cronjob Bot <miri@cron.bot> | 2025-04-18 04:54:04 +0000 |
|---|---|---|
| committer | The Miri Cronjob Bot <miri@cron.bot> | 2025-04-18 04:54:04 +0000 |
| commit | 378886f77239c4661945c877f50c17512bbbd6a2 (patch) | |
| tree | 7b01a87a7d0170cbe8f198c35ea98d3d5d344787 | |
| parent | 765d4b29af1830e41862d966d2f37f0807baac06 (diff) | |
| download | rust-378886f77239c4661945c877f50c17512bbbd6a2.tar.gz rust-378886f77239c4661945c877f50c17512bbbd6a2.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 ed2e4474add..45b3546a09b 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -883f9f72e87ccb6838d528d8158ea6323baacc65 +1f76d219c906f0112bb1872f33aa977164c53fa6 |