Skip to content

Rename vec::mod2 to vec::mod_zip #6057

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
wants to merge 1 commit into from
Closed

Rename vec::mod2 to vec::mod_zip #6057

wants to merge 1 commit into from

Conversation

emberian
Copy link
Member

I think the name is more clear, and fits with filter_map etc.

@emberian
Copy link
Member Author

(whoops, screwy commit message -- my bad! no more late-night programming...)

bors added a commit that referenced this pull request Apr 27, 2013
I think the name is more clear, and fits with filter_map etc.
@bors bors closed this Apr 27, 2013
flip1995 pushed a commit to flip1995/rust that referenced this pull request Sep 24, 2020
…ulip, r=flip1995

Update documentation about moving from Discord to Zulip

Moving from Discord to Zulip was discussed at rust-lang/rust-clippy#5943 and new stream in Zulip was created at rust-lang/rust-clippy#5943 (comment).

changelog: none
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