diff options
| author | bors <bors@rust-lang.org> | 2021-07-28 13:15:43 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2021-07-28 13:15:43 +0000 |
| commit | 92ca25b3ec8cef291f1d3b37bfd01d3cce8609e2 (patch) | |
| tree | e58ac96a0819f774260a28ea7c1dcdcca567bee2 /compiler/rustc_interface/src | |
| parent | ac0fd99194141f189b3fc41ef2d8925e6fa359c2 (diff) | |
| parent | 464c85c8c1c71feda6e53eb9d8713bfdafaf7d8b (diff) | |
| download | rust-92ca25b3ec8cef291f1d3b37bfd01d3cce8609e2.tar.gz rust-92ca25b3ec8cef291f1d3b37bfd01d3cce8609e2.zip | |
Auto merge of #7502 - flip1995:rollup-y3ho3w0, r=flip1995
Rollup of 3 pull requests Successful merges: - #7279 (Adapting the lint list to Clippy's new metadata format) - #7298 (Switch CI to new metadata collection) - #7420 (Update lint documentation to use markdown headlines) Failed merges: r? `@ghost` `@rustbot` modify labels: rollup changelog: rollup
Diffstat (limited to 'compiler/rustc_interface/src')
0 files changed, 0 insertions, 0 deletions