diff options
| author | Ralf Jung <post@ralfj.de> | 2024-03-15 07:55:46 +0100 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2024-03-15 07:55:46 +0100 |
| commit | 3cc4059a6e8a6aebcd020b0d3a0e2eb33d926c2c (patch) | |
| tree | 7b2ecc224d5789bc9c943231ae2a76fc6a763e37 | |
| parent | ed9d70f56cfcd33af63a5a39fdf50b7e6b862da4 (diff) | |
| download | rust-3cc4059a6e8a6aebcd020b0d3a0e2eb33d926c2c.tar.gz rust-3cc4059a6e8a6aebcd020b0d3a0e2eb33d926c2c.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 721d6df0f11..e32968d8178 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -5ac0b2d0219de2fd6fef86c69ef0cfa1e6c36f3b +ee03c286cfdca26fa5b2a4ee40957625d2c826ff |