Skip to content

Refactor Option::filter method#45933

Merged
bors merged 1 commit intorust-lang:masterfrom
shanavas786:refactor-filter
Nov 13, 2017
Merged

Refactor Option::filter method#45933
bors merged 1 commit intorust-lang:masterfrom
shanavas786:refactor-filter

Commits

Commits on Nov 11, 2017