Skip to content
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.

Sign up for GitHub

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

Jump to bottom

[robin-hood-hashing] Update to 3.9.1 #14563

Merged
merged 1 commit into from Nov 17, 2020
Merged

[robin-hood-hashing] Update to 3.9.1 #14563

merged 1 commit into from Nov 17, 2020

Conversation

RT2Code
Copy link
Contributor

@RT2Code RT2Code commented Nov 13, 2020

@NancyLi1013 NancyLi1013 self-assigned this Nov 16, 2020
@NancyLi1013 NancyLi1013 added the category:port-update The issue is with a library, which is requesting update new revision label Nov 16, 2020
@NancyLi1013
Copy link
Contributor

/azp run

@azure-pipelines
Copy link

Azure Pipelines successfully started running 1 pipeline(s).

@NancyLi1013
Copy link
Contributor

LGTM and thanks for your PR @RT222.

@NancyLi1013 NancyLi1013 added the info:reviewed Pull Request changes follow basic guidelines label Nov 17, 2020
@strega-nil strega-nil merged commit 42216bb into microsoft:master Nov 17, 2020
@strega-nil
Copy link
Contributor

Thanks @RT222 :)

@RT2Code RT2Code deleted the robin-hood-hashing branch November 17, 2020 22:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@ras0219 ras0219 ras0219 approved these changes

@NancyLi1013 NancyLi1013 NancyLi1013 approved these changes

Assignees

@NancyLi1013 NancyLi1013

Labels
category:port-update The issue is with a library, which is requesting update new revision info:reviewed Pull Request changes follow basic guidelines
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
4 participants
@RT2Code @NancyLi1013 @strega-nil @ras0219