diff options
| author | Ralf Jung <post@ralfj.de> | 2024-10-03 07:47:41 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2024-10-03 07:47:41 +0200 |
| commit | be819d415952f877019e6a0fea269e2aaccc552b (patch) | |
| tree | 42ae009e4989d1aa9abeef39f69f1356d0d4e5cf | |
| parent | 52aa98a994f84e02bae6a7573b8c81bb8add2b98 (diff) | |
| download | rust-be819d415952f877019e6a0fea269e2aaccc552b.tar.gz rust-be819d415952f877019e6a0fea269e2aaccc552b.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 b05c409f823..fe0421b2075 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -76ed7a1fa40c3f54d3fd3f834e12bf9c932d0146 +ad9c494835e746fb7c8a26eeed0ad90e4e834058 |