diff options
| author | The Miri Cronjob Bot <miri@cron.bot> | 2024-06-05 05:05:48 +0000 |
|---|---|---|
| committer | The Miri Cronjob Bot <miri@cron.bot> | 2024-06-05 05:05:48 +0000 |
| commit | 0453f374e85bc364a9c8a6188460d87f2241ad65 (patch) | |
| tree | d5c8aaab9d8bcf04f5ee5d5b3b4ee7e417af42ae | |
| parent | 58f3894342f673b9c1c633538398d02af3e66cb2 (diff) | |
| download | rust-0453f374e85bc364a9c8a6188460d87f2241ad65.tar.gz rust-0453f374e85bc364a9c8a6188460d87f2241ad65.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 cbaa740e52f..5032f225227 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -caa187f3bc9604c78dfbc3ffabbe1372cb528639 +a330e49593ee890f9197727a3a558b6e6b37f843 |