Skip to content

Type-annotate and simplify documentation of Option::unwrap_or_default#102259

Merged
bors merged 1 commit intomasterfrom
unknown repository
Sep 25, 2022

Commits

Commits on Sep 25, 2022