PR #4625 Add Checker::enabled shortcut

Add Checker::enabled shortcut #4625

konstin merged 1 commit into main from checker_enabled

Add Checker::enabled shortcut

898d8a1e

MichaReiser approved these changes on 2023-05-24

charliermarsh approved these changes on 2023-05-24

konstin merged a59d2522 into main 2 years ago

konstin deleted the checker_enabled branch 2 years ago

Reviewers

charliermarsh

MichaReiser

Assignees

No one assigned

Labels

None yet

Milestone

No milestone