Skip to content

Remove useless filter in unused extern crate check.#105200

Merged
bors merged 1 commit intorust-lang:masterfrom
cjgillot:issue-104562
Dec 4, 2022
Merged

Remove useless filter in unused extern crate check.#105200
bors merged 1 commit intorust-lang:masterfrom
cjgillot:issue-104562

Commits

Commits on Dec 3, 2022