Skip to content

minor: remove unused known Names#13868

Merged
bors merged 1 commit into
rust-lang:masterfrom
lowr:patch/unused-known-names-bye
Dec 31, 2022
Merged

minor: remove unused known Names#13868
bors merged 1 commit into
rust-lang:masterfrom
lowr:patch/unused-known-names-bye

Remove unused known `Name`s

0430b68
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs