Skip to content

new lint: manual_range_patterns#10968

Merged
bors merged 2 commits intorust-lang:masterfrom
y21:manual_range_pat
Jun 27, 2023
Merged

new lint: manual_range_patterns#10968
bors merged 2 commits intorust-lang:masterfrom
y21:manual_range_pat

Commits

Commits on Jun 27, 2023