Skip to content

Rename run_lints -> lints_enabled#7448

Merged
bors merged 1 commit intorust-lang:masterfrom
flip1995:run_lints-rename
Jul 9, 2021
Merged

Rename run_lints -> lints_enabled#7448
bors merged 1 commit intorust-lang:masterfrom
flip1995:run_lints-rename

Commits

Commits on Jul 8, 2021