Skip to content

Add lint for opt.map_or(None, f)#2128

Merged
oli-obk merged 3 commits intorust-lang:masterfrom
lukasstevens:master
Oct 10, 2017
Merged

Add lint for opt.map_or(None, f)#2128
oli-obk merged 3 commits intorust-lang:masterfrom
lukasstevens:master

Commits

Commits on Oct 10, 2017