diff options
| author | bors <bors@rust-lang.org> | 2023-11-16 09:31:29 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2023-11-16 09:31:29 +0000 |
| commit | 255d04cd9bb6bb51d4586a288facd01ee23cbcbf (patch) | |
| tree | 10b32a10a95d0ae65b6316dfc7931e6ab8ca30fd /src/tools/miri/rust-version | |
| parent | 012bd49b8a60f02d504774293d7a381dfe74d5f4 (diff) | |
| parent | 13bfe141ff5bb92901eea3e88432cda75a208b9f (diff) | |
Auto merge of #3167 - RalfJung:rustup, r=RalfJung
Rustup
Diffstat (limited to 'src/tools/miri/rust-version')
| -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 0d677d36e36..673e11163c8 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -6d069a0ac7a423db87d86320edd39974f9f0c492 +525c91d096194decbfa70245743d697fb010ac91 |