Skip to content

Retire is_foreign_item query.#111686

Merged
bors merged 1 commit intorust-lang:masterfrom
cjgillot:no-foreign-item
May 18, 2023
Merged

Retire is_foreign_item query.#111686
bors merged 1 commit intorust-lang:masterfrom
cjgillot:no-foreign-item

Commits

Commits on May 17, 2023