diff options
| author | Mark Rousskov <mark.simulacrum@gmail.com> | 2020-01-27 13:42:02 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-01-27 13:42:02 -0500 |
| commit | 69362b9c9edc1ce36810a723d5edddcb805c4cd7 (patch) | |
| tree | 462a26e2ecc48ec6136b3e89540b9e0d433975a1 | |
| parent | aa6e58b3525e1d89b87d55546c69563716772df8 (diff) | |
| parent | 98724074d7733cb3131a1a73360534c32024c0a5 (diff) | |
| download | rust-69362b9c9edc1ce36810a723d5edddcb805c4cd7.tar.gz rust-69362b9c9edc1ce36810a723d5edddcb805c4cd7.zip | |
Rollup merge of #68576 - jonhoo:bump-miri, r=oli-obk
update miri Bump miri for rust-lang/miri#1150 r? @oli-obk
| m--------- | src/tools/miri | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/src/tools/miri b/src/tools/miri -Subproject 6a0f14bef7784e57a57a996cae3f94dbd2490e7 +Subproject 83403581bb7a2156f4752fc2d0ceef4b3ec7555 |