diff options
| author | The Miri Cronjob Bot <miri@cron.bot> | 2024-12-31 05:05:17 +0000 |
|---|---|---|
| committer | The Miri Cronjob Bot <miri@cron.bot> | 2024-12-31 05:05:17 +0000 |
| commit | 332fefbd3e686d0d76a43119e374997543338389 (patch) | |
| tree | 8364901097ca76cbd1f44706dfd443b45d5a3d3e /src | |
| parent | cabc386bd18f2a2ad02f6ac9a7e9a5c0e224aff6 (diff) | |
| download | rust-332fefbd3e686d0d76a43119e374997543338389.tar.gz rust-332fefbd3e686d0d76a43119e374997543338389.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 96ff7aae00e..bbd3ed94396 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -917bfa78478cbcc77406e5ea37b24c3eedefacf4 +4e5fec2f1ea4b1cfecaa14304c9f56de59b344cb |