diff options
| author | bors <bors@rust-lang.org> | 2020-03-03 13:27:52 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2020-03-03 13:27:52 +0000 |
| commit | b135c739fb542d2c78e30f3e945ff3e528942190 (patch) | |
| tree | 727a18a8968f6083f55141cde0d4cf700b7a15bd /src/test/rustdoc-ui/coverage/json.rs | |
| parent | a5de254862477924bcd8b9e1bff7eadd6ffb5e2a (diff) | |
| parent | 6f40cdb3807b25c92d32c5f7c3180958bb62f3c8 (diff) | |
| download | rust-b135c739fb542d2c78e30f3e945ff3e528942190.tar.gz rust-b135c739fb542d2c78e30f3e945ff3e528942190.zip | |
Auto merge of #69482 - lqd:poloniusup, r=nikomatsakis
Polonius: update `polonius-engine` to 0.12.0 Since @albins won't have the time to finish up #68993 for a while, I'll take care of the trivial remaining tasks (rebasing, taking care of tidy/rustfmt). I'll r? @nikomatsakis since they're assigned to #68993, but have actually [already reviewed it pre-rebase](https://github.com/rust-lang/rust/pull/68993#issuecomment-586413089). When CI passes: I'll notify bors and close #68993, since this PR supersedes it.
Diffstat (limited to 'src/test/rustdoc-ui/coverage/json.rs')
0 files changed, 0 insertions, 0 deletions