Skip to content

Drop redundant linters. - #378

Merged
sudomateo merged 3 commits into
mainfrom
jmcarp/drop-redundant-checks
Feb 16, 2026
Merged

Drop redundant linters.#378
sudomateo merged 3 commits into
mainfrom
jmcarp/drop-redundant-checks

Commits

Commits on Feb 16, 2026