diff options
| author | The Miri Cronjob Bot <miri@cron.bot> | 2024-03-08 05:09:59 +0000 |
|---|---|---|
| committer | The Miri Cronjob Bot <miri@cron.bot> | 2024-03-08 05:09:59 +0000 |
| commit | c301bf9629077762fe6bec6ddbf1b293ab258e2a (patch) | |
| tree | b74a5d6ff5641f6cc1e0b5ca5084de20680f9614 | |
| parent | 305d2b0f5c7e8081ab21f78e2d53ed8f84aebecd (diff) | |
| download | rust-c301bf9629077762fe6bec6ddbf1b293ab258e2a.tar.gz rust-c301bf9629077762fe6bec6ddbf1b293ab258e2a.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 bfce11a730e..a54e33ae528 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -bfe762e0ed2e95041cc12c02c5565c4368f2cc9f +79d246112dc95bbd67848f7546f3fd1aca516b82 |