Skip to content

refactor(lint): translate RenamedOrRemovedLint#115152

Merged
bors merged 2 commits intorust-lang:masterfrom
weihanglo:lint-refactor
Aug 25, 2023
Merged

refactor(lint): translate `RenamedOrRemovedLint`#115152
bors merged 2 commits intorust-lang:masterfrom
weihanglo:lint-refactor

Commits

Commits on Aug 24, 2023