Remove some now-dead code that was only relevant before deaggregation.#96050
Merged
bors merged 1 commit intorust-lang:masterfrom Apr 16, 2022
Merged
Remove some now-dead code that was only relevant before deaggregation.#96050bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom