Skip to content

Pass DeadItem and lint as consistent group in dead-code.#119297

Merged
bors merged 1 commit intorust-lang:masterfrom
cjgillot:issue-119267
Dec 26, 2023
Merged

Pass DeadItem and lint as consistent group in dead-code.#119297
bors merged 1 commit intorust-lang:masterfrom
cjgillot:issue-119267

Commits

Commits on Dec 25, 2023