diff options
| author | Ralf Jung <post@ralfj.de> | 2023-02-26 18:13:46 +0100 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2023-02-26 18:13:46 +0100 |
| commit | 9fb185210eaa9d2de7e8ab1161897edf2eaae758 (patch) | |
| tree | d96e046f50213d28df19529644ff3729f6dc8fb5 | |
| parent | ffd12f67cfa28891bbd1fa81d5e80a128f346ace (diff) | |
| download | rust-9fb185210eaa9d2de7e8ab1161897edf2eaae758.tar.gz rust-9fb185210eaa9d2de7e8ab1161897edf2eaae758.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 461add9f508..53ec1ba0821 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -f715e430aac0de131e2ad21804013ea405722a66 +c4e0cd966062ca67daed20775f4e8a60c28e57df |