Skip to content

Remove names_imported_by_glob_use query.#143372

Merged
bors merged 1 commit intorust-lang:masterfrom
cjgillot:bare-glob-map
Jul 5, 2025
Merged

Remove names_imported_by_glob_use query.#143372
bors merged 1 commit intorust-lang:masterfrom
cjgillot:bare-glob-map

Commits

Commits on Jul 4, 2025