Skip to content

validate promoteds#80235

Merged
bors merged 2 commits intorust-lang:masterfrom
RalfJung:validate-promoteds
Dec 25, 2020
Merged

validate promoteds#80235
bors merged 2 commits intorust-lang:masterfrom
RalfJung:validate-promoteds

Commits

Commits on Dec 20, 2020