Skip to content

Remove unnecessary Option from promote_candidate return type#90452

Merged
bors merged 1 commit intorust-lang:masterfrom
tmiasko:promote-candidate
Nov 1, 2021
Merged

Remove unnecessary `Option` from `promote_candidate` return type#90452
bors merged 1 commit intorust-lang:masterfrom
tmiasko:promote-candidate

Commits

Commits on Oct 31, 2021