Skip to content

Prefer names from outer DefMap over extern prelude#7959

Merged
bors[bot] merged 1 commit intorust-lang:masterfrom jonas-schievink:extern-prelude-block-scopeMar 10, 2021