Skip to content

Some metadata cleanups#155632

Merged
rust-bors[bot] merged 3 commits intorust-lang:mainfrom
nnethercote:split-Metadata
Apr 22, 2026
Merged

Some metadata cleanups#155632
rust-bors[bot] merged 3 commits intorust-lang:mainfrom
nnethercote:split-Metadata

Commits

Commits on Apr 22, 2026