Skip to content

Querify unused trait check.#113546

Merged
bors merged 1 commit intorust-lang:masterfrom
cjgillot:unused-query
Jul 20, 2023
Merged

Querify unused trait check.#113546
bors merged 1 commit intorust-lang:masterfrom
cjgillot:unused-query

Commits

Commits on Jul 16, 2023