Skip to content

second round of refactorings for universes#54858

Merged
bors merged 12 commits into
rust-lang:masterfrom
nikomatsakis:universes-refactor-2
Oct 15, 2018
Merged

second round of refactorings for universes#54858
bors merged 12 commits into
rust-lang:masterfrom
nikomatsakis:universes-refactor-2

remove the sub/super terminology for universes

05f67ca
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs