Skip to content

rustc: remove "GlobalMetaData" dead code from hir::map::definitions.#66115

Merged
bors merged 1 commit intorust-lang:masterfrom
eddyb:global-meta-what
Nov 6, 2019
Merged

rustc: remove "GlobalMetaData" dead code from hir::map::definitions.#66115
bors merged 1 commit intorust-lang:masterfrom
eddyb:global-meta-what

Commits

Commits on Nov 5, 2019