diff options
| author | Ralf Jung <post@ralfj.de> | 2023-03-24 10:38:01 +0100 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2023-03-24 10:38:01 +0100 |
| commit | bee871f3793b9d8b1dd26e2f2b16dfde5fa5ffe8 (patch) | |
| tree | 9ac0969c97cd026cc956528a6be8cb87bb208901 /src | |
| parent | 4b0f8745082a36f6408357ec8bfd6c439955cc38 (diff) | |
| download | rust-bee871f3793b9d8b1dd26e2f2b16dfde5fa5ffe8.tar.gz rust-bee871f3793b9d8b1dd26e2f2b16dfde5fa5ffe8.zip | |
Preparing for merge from rustc
Diffstat (limited to 'src')
| -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 651425ce02a..8842e939d67 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -cf811810fe8dc92b3ff25e7dd29fb3178c91d409 +c763eceae349c1d827d9cfbf5df21ca40b21c861 |