PR #19091 [ty] Fix lint summary wording

[ty] Fix lint summary wording #19091

sharkdp merged 1 commit into main from david/fix-lint-summary-wording

[ty] Fix lint summary wording

6b0fdb72

sharkdp requested a review from

carljm 1 year ago

sharkdp requested a review from

AlexWaygood 1 year ago

sharkdp requested a review from

dcreager 1 year ago

sharkdp added internal

sharkdp added ty

sharkdp merged 4cf56d7a into main 1 year ago

sharkdp deleted the david/fix-lint-summary-wording branch 1 year ago

Reviewers

carljm

AlexWaygood

dcreager

Assignees

No one assigned

Labels

internal ty

Milestone

No milestone