PR #9802 Add our own ignored-names abstractions

Add our own ignored-names abstractions #9802

charliermarsh merged 1 commit into main from charlie/ignore-names

charliermarsh force pushed from e585942b to c4982168 2 years ago

charliermarsh requested a review from

BurntSushi 2 years ago

charliermarsh added performance

charliermarsh marked this pull request as ready for review 2 years ago

charliermarsh commented on 2024-02-02

BurntSushi approved these changes on 2024-02-02

charliermarsh commented on 2024-02-02

charliermarsh force pushed from c4982168 to 5d5b25ed 2 years ago

Add our own ignored-names abstractions

6a239a73

charliermarsh force pushed from 5d5b25ed to 6a239a73 2 years ago

charliermarsh merged c53aae0b into main 2 years ago

charliermarsh deleted the charlie/ignore-names branch 2 years ago

Reviewers

BurntSushi

Assignees

No one assigned

Labels

performance

Milestone

No milestone