Skip to content

Use Option::filter instead of open-coding it#80637

Merged
bors merged 1 commit intorust-lang:masterfrom
LingMan:filter
Jan 5, 2021
Merged

Use Option::filter instead of open-coding it#80637
bors merged 1 commit intorust-lang:masterfrom
LingMan:filter

Commits

Commits on Jan 3, 2021