Skip to content

Conversation

flip1995
Copy link
Member

cc #3172

@phansch phansch merged commit 4aaef72 into rust-lang:master Sep 14, 2018
@ghost ghost mentioned this pull request Sep 15, 2018
@flip1995 flip1995 deleted the pedantic_filter_map branch September 18, 2018 17:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants