Skip to content

Only include metadata for non-dynamic libraries in rustc-dev#105609

Merged
bors merged 3 commits intorust-lang:masterfrom
bjorn3:shrink_rustc_dev
Jan 3, 2023

Commits

Commits on Dec 31, 2022