diff options
| author | The Miri Conjob Bot <miri@cron.bot> | 2023-12-05 05:09:34 +0000 |
|---|---|---|
| committer | The Miri Conjob Bot <miri@cron.bot> | 2023-12-05 05:09:34 +0000 |
| commit | d651eb9e23a3c9b67c50c847d7ac66965bda475c (patch) | |
| tree | f69aeef19c19c6bd03e4d0e79ff593fc9b0450d5 /src | |
| parent | e27da142efd0f03795e2bb9a2925ba9611b2cd83 (diff) | |
| download | rust-d651eb9e23a3c9b67c50c847d7ac66965bda475c.tar.gz rust-d651eb9e23a3c9b67c50c847d7ac66965bda475c.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 f3492c3eb04..c60249f35e1 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -c9808f87028e16d134438787cab3d4cc16d05fe2 +317d14a56cb8c748bf0e2f2afff89c2249ab4423 |