Skip to content

Remove arena's dependency on rustc_data_structures#77962

Merged
bors merged 1 commit intorust-lang:masterfrom
bugadani:arena2
Oct 16, 2020
Merged

Remove arena's dependency on `rustc_data_structures`#77962
bors merged 1 commit intorust-lang:masterfrom
bugadani:arena2

Commits

Commits on Oct 15, 2020