Skip to content

Rename {enter,exit}_lint_attrs to check_attributes{,_post}#123001

Merged
bors merged 1 commit intorust-lang:masterfrom
Alexendoo:check-attributes
Mar 25, 2024
Merged

Rename `{enter,exit}_lint_attrs` to `check_attributes{,_post}`#123001
bors merged 1 commit intorust-lang:masterfrom
Alexendoo:check-attributes

Commits

Commits on Mar 24, 2024