Skip to content

rustc_metadata: Split children into multiple tables#110333

Merged
bors merged 1 commit intorust-lang:masterfrom
petrochenkov:notagain
Apr 21, 2023

Commits

Commits on Apr 21, 2023