diff options
| author | bors <bors@rust-lang.org> | 2021-04-30 19:55:47 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2021-04-30 19:55:47 +0000 |
| commit | 4ae0a8e413a67b9f6c38f09b24f6179e98c1ba25 (patch) | |
| tree | 5f5e881db25f2904d47063de18e26f469aa001b6 | |
| parent | 8fef006d44d2f8a6665c93c8b1674a3935e5c69e (diff) | |
| parent | 3be4d4b5f01810d0f03d4c6cb1cb5a22b7f7f352 (diff) | |
| download | rust-4ae0a8e413a67b9f6c38f09b24f6179e98c1ba25.tar.gz rust-4ae0a8e413a67b9f6c38f09b24f6179e98c1ba25.zip | |
Auto merge of #84753 - hyd-dev:update-miri, r=RalfJung
Update Miri To include rust-lang/miri#1783, hence fixes #84741. r? `@RalfJung`
| m--------- | src/tools/miri | 16 |
1 files changed, 9 insertions, 7 deletions
diff --git a/src/tools/miri b/src/tools/miri -Subproject 5faf5a5ca059f6eb067fc86e47480f5668ac6e8 +Subproject 41f3fe64317a6ef144d2ac33e4e5870d894d603 |