Skip to content

Introduce -Zsplit-metadata option#93945

Closed
bjorn3 wants to merge 10 commits into
rust-lang:masterfrom
bjorn3:split_metadata3
Closed

Introduce -Zsplit-metadata option#93945
bjorn3 wants to merge 10 commits into
rust-lang:masterfrom
bjorn3:split_metadata3

Ship rmeta files

c0d8f3e
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs