Skip to content

Add new lint filter_map_identity#6685

Merged
bors merged 2 commits intorust-lang:masterfrom magurotuna:filter_map_identityFeb 7, 2021

Commits

Commits on Feb 6, 2021