diff options
| author | The Miri Conjob Bot <miri@cron.bot> | 2023-08-08 05:36:34 +0000 |
|---|---|---|
| committer | The Miri Conjob Bot <miri@cron.bot> | 2023-08-08 05:36:34 +0000 |
| commit | 4533adfea8e32e426454ee5731dcd71deba9262e (patch) | |
| tree | e6f52e03937798481d0b3dc32606d601efeadecb | |
| parent | 31e9f7a6ef3ec981d4c9797f90f303e63c31f0b4 (diff) | |
| download | rust-4533adfea8e32e426454ee5731dcd71deba9262e.tar.gz rust-4533adfea8e32e426454ee5731dcd71deba9262e.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 716b690daaa..d577448dfb3 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -fca59ab5f0e7df7d816bed77a32abc0045ebe80b \ No newline at end of file +8e7fd551311d424e4e63fa45906a2a928fce96a7 |