diff options
| author | The Miri Cronjob Bot <miri@cron.bot> | 2025-09-12 04:52:27 +0000 |
|---|---|---|
| committer | The Miri Cronjob Bot <miri@cron.bot> | 2025-09-12 04:52:27 +0000 |
| commit | 44edbc6d54e0bd3f9eea882ed5cd7646d6b79523 (patch) | |
| tree | 83926bcd2626c964727d92ceb562dd64fefe9645 | |
| parent | 36376bc5a53c7b77b0aa4a36c3eb7d501f2e0fe2 (diff) | |
| download | rust-44edbc6d54e0bd3f9eea882ed5cd7646d6b79523.tar.gz rust-44edbc6d54e0bd3f9eea882ed5cd7646d6b79523.zip | |
Prepare for merging from rust-lang/rust
This updates the rust-version file to 2a9bacf6187685931d52346a0ecff2e52bdc91cc.
| -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 b71a0d219d7..b3f8a26875f 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -f4665ab8368ad2e8a86d4390ae35c28bdd9561bb +2a9bacf6187685931d52346a0ecff2e52bdc91cc |