Skip to content

remove this weird special case from promotion#78363

Merged
bors merged 3 commits intorust-lang:masterfrom
RalfJung:promotion
Dec 9, 2020