Skip to content

Add another email address corresponding to @GuillaumeGomez account #31750

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

Merged
merged 1 commit into from
Feb 20, 2016

Conversation

GuillaumeGomez
Copy link
Member

It's notably for #31707

@rust-highfive
Copy link
Contributor

r? @nikomatsakis

(rust_highfive has picked a reviewer for you, use r? to override)

@GuillaumeGomez GuillaumeGomez changed the title Add another email address corresponding to Guillaume Gomez account Add another email address corresponding to @GuillaumeGomez account Feb 18, 2016
@nikomatsakis
Copy link
Contributor

@GuillaumeGomez I am confused -- are both of these entries for the same person (you)?

@GuillaumeGomez
Copy link
Member Author

Yes they are. I actually committed a few times under this name without paying attention (I even opened a PR on TWiR when ggomez appeared as new contributor).

@nikomatsakis
Copy link
Contributor

@bors r+ rollup

@bors
Copy link
Collaborator

bors commented Feb 18, 2016

📌 Commit 761e26b has been approved by nikomatsakis

steveklabnik added a commit to steveklabnik/rust that referenced this pull request Feb 19, 2016
bors added a commit that referenced this pull request Feb 19, 2016
bors added a commit that referenced this pull request Feb 20, 2016
@bors bors merged commit 761e26b into rust-lang:master Feb 20, 2016
@GuillaumeGomez GuillaumeGomez deleted the mailmap branch February 28, 2016 20:16
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.

4 participants