diff options
| author | The Miri Cronjob Bot <miri@cron.bot> | 2025-05-19 04:54:41 +0000 |
|---|---|---|
| committer | The Miri Cronjob Bot <miri@cron.bot> | 2025-05-19 04:54:41 +0000 |
| commit | b2a8690aa101c0a3232ec43535dd2f3fc6bd5366 (patch) | |
| tree | 48779dcc1d04ec93f08141740ff4d1bd7c3212e1 /src | |
| parent | a4eb91fa63bafbf339165e4354f84bc70f59e9a7 (diff) | |
| download | rust-b2a8690aa101c0a3232ec43535dd2f3fc6bd5366.tar.gz rust-b2a8690aa101c0a3232ec43535dd2f3fc6bd5366.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 8b98fe3c4fc..0d889a5d5b9 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -ac17c3486c6fdfbb0c3c18b99f3d8dfbff625d29 +e42bbfe1f7c26f8760a99c4b1f27d33aba1040bb |