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

[fmt] update to 7.1.2 #14413

Merged
merged 1 commit into from
Nov 6, 2020
Merged

[fmt] update to 7.1.2 #14413

merged 1 commit into from
Nov 6, 2020

Conversation

bl-ue
Copy link
Contributor

@bl-ue bl-ue commented Nov 6, 2020

Describe the pull request

@NancyLi1013 NancyLi1013 self-assigned this Nov 6, 2020
@NancyLi1013 NancyLi1013 added the category:port-update The issue is with a library, which is requesting update new revision label Nov 6, 2020
@NancyLi1013 NancyLi1013 added the info:reviewed Pull Request changes follow basic guidelines label Nov 6, 2020
@BillyONeal BillyONeal merged commit d218ca7 into microsoft:master Nov 6, 2020
@BillyONeal
Copy link
Member

Thanks!

@bl-ue bl-ue deleted the fmt-712-issue-14411 branch November 7, 2020 14:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@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.

[fmt] update to 7.1.2
3 participants
@bl-ue @BillyONeal @NancyLi1013