diff options
| author | Ralf Jung <post@ralfj.de> | 2025-04-10 14:24:14 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2025-04-10 14:24:14 +0200 |
| commit | 830c58be89e4717ca2c1e08f17d1e027707334e9 (patch) | |
| tree | 6e4dd95ca6db5cc039fc44bbc4cfb85f3361a7f4 | |
| parent | 7da44400129c51c314eccdc0e703e99502b78c1a (diff) | |
| download | rust-830c58be89e4717ca2c1e08f17d1e027707334e9.tar.gz rust-830c58be89e4717ca2c1e08f17d1e027707334e9.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 a6f29510879..d2b8b514730 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -25a615bf829b9f6d6f22da537e3851043f92e5f2 +7d7de5bf3c3cbf9c2c5bbc5cbfb9197a8a427d35 |