diff options
| author | Ralf Jung <post@ralfj.de> | 2023-08-31 11:32:11 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2023-08-31 11:32:11 +0200 |
| commit | 4ea6a4bfe399ac12f00ef10b0c3f674fb5db8581 (patch) | |
| tree | 6d9ee1b479a7ccb6b51ecbb7592ea8af571371ad | |
| parent | 6f036743422837076353e6369acb017da987fdac (diff) | |
| download | rust-4ea6a4bfe399ac12f00ef10b0c3f674fb5db8581.tar.gz rust-4ea6a4bfe399ac12f00ef10b0c3f674fb5db8581.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 88a4ddfba6b..f173cc37e85 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -008c21c9779fd1e3632d9fe908b8afc0c421b26c +dca2d1ff00bf96d244b1bb9a2117a92ec50ac71d |