diff options
| author | The Miri Cronjob Bot <miri@cron.bot> | 2025-01-30 05:00:06 +0000 |
|---|---|---|
| committer | The Miri Cronjob Bot <miri@cron.bot> | 2025-01-30 05:00:06 +0000 |
| commit | 851ce41bc6fb207db4c4fb0ebbac971fa65eff3b (patch) | |
| tree | ecd61a723510f24479e0fdd62286902099f613e7 | |
| parent | 9894a069037445fa1325ded391fbd33002563509 (diff) | |
| download | rust-851ce41bc6fb207db4c4fb0ebbac971fa65eff3b.tar.gz rust-851ce41bc6fb207db4c4fb0ebbac971fa65eff3b.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 7f46e2f5ddb..02547ced79b 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -122fb29eb639aae852b9dcba0fd7aefc691be118 +5e5567993d8ee5f8b260cebe96f1714d134d1d96 |