Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
This is leftover from a restructuring of lint registration for drivers; it should now happen via the register_lints field on Config rather than this function.
- Loading branch information