diff options
| author | The Miri Conjob Bot <miri@cron.bot> | 2024-02-18 04:53:46 +0000 |
|---|---|---|
| committer | The Miri Conjob Bot <miri@cron.bot> | 2024-02-18 04:53:46 +0000 |
| commit | d18d4615c4f58e70799f56dc916f839a8019e2cb (patch) | |
| tree | 8dfd15f838cf813521b20673352848bee5b3ce64 /src | |
| parent | 55f29d22b48c02f185fcfcfb34a1e3c78121cb7c (diff) | |
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 ab6f899cd3a..921a55d48c6 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -4316d0c6252cb1f833e582dfa68adb98efd5ddfb +1f8e824f111c972c9df8dbb378d87c33f67bbad4 |