Skip to content

Rename overlapping_patterns lint#78242

Merged
bors merged 6 commits intorust-lang:masterfrom
Nadrieril:rename-overlapping_endpoints-lint
Dec 22, 2020
Merged

Rename `overlapping_patterns` lint#78242
bors merged 6 commits intorust-lang:masterfrom
Nadrieril:rename-overlapping_endpoints-lint

Commits

Commits on Dec 19, 2020