diff options
| author | The Miri Cronjob Bot <miri@cron.bot> | 2025-02-04 05:04:47 +0000 |
|---|---|---|
| committer | The Miri Cronjob Bot <miri@cron.bot> | 2025-02-04 05:04:47 +0000 |
| commit | 9a858faf691e8627a96b0413106d8b6dd44401eb (patch) | |
| tree | 69f0e6c8de8604b9440d237c6a1fb93f0085258c | |
| parent | 6e9471811baff6d6928547383f0ba3e0b622f5f8 (diff) | |
| download | rust-9a858faf691e8627a96b0413106d8b6dd44401eb.tar.gz rust-9a858faf691e8627a96b0413106d8b6dd44401eb.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 b6295972076..7f1aa78169d 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -613bdd49978298648ed05ace086bd1ecad54b44a +affdb59607566c1615c829eea9e7b27a093994ec |