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

Fixed #13670 #13739

Merged
merged 1 commit into from
Oct 14, 2016
Merged

Fixed #13670 #13739

merged 1 commit into from
Oct 14, 2016

Conversation

f111fei
Copy link
Contributor

@f111fei f111fei commented Oct 14, 2016

No description provided.

@mention-bot
Copy link

@f111fei, thanks for your PR! By analyzing the history of the files in this pull request, we identified @bpasero, @egamma and @jrieken to be potential reviewers.

@f111fei f111fei mentioned this pull request Oct 14, 2016
Closed
@bpasero bpasero self-assigned this Oct 14, 2016
@bpasero bpasero merged commit 1985573 into microsoft:master Oct 14, 2016
@bpasero bpasero modified the milestone: October 2016 Oct 28, 2016
@github-actions github-actions bot locked and limited conversation to collaborators Mar 27, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers
No reviews
Assignees

@bpasero bpasero

Labels
None yet
Projects
None yet
Milestone
October 2016
Development

Successfully merging this pull request may close these issues.

None yet
4 participants
@f111fei @mention-bot @bpasero @msftclas