diff options
Diffstat (limited to 'src/tools/miri/rust-version')
| -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 746fcb2e183..d007f952a67 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -101e1822c3e54e63996c8aaa014d55716f3937eb +7477c1f4f7d6bef037d523099b240d22aa1b63a0 |