Skip to content

Some Promotion Refactoring#80458

Merged
bors merged 4 commits into
rust-lang:masterfrom
RalfJung:promotion-refactor
Dec 31, 2020
Merged

Some Promotion Refactoring#80458
bors merged 4 commits into
rust-lang:masterfrom
RalfJung:promotion-refactor

fix a comment

51cec58
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs