Skip to content

Merging internal commits for release/3.1 #5496

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
Merged
merged 6 commits into from
Oct 13, 2021
Merged

Merging internal commits for release/3.1 #5496

merged 6 commits into from
Oct 13, 2021

Conversation

@vseanreesermsft
Copy link

@vseanreesermsft vseanreesermsft commented Oct 12, 2021

No description provided.

@ghost ghost added the PR metadata: Label to tag PRs, to facilitate with triage label Oct 12, 2021
@ghost ghost requested review from SamBent, fabiant3 and ryalanms October 12, 2021 22:24
@vseanreesermsft vseanreesermsft merged commit 215d5ee into dotnet:release/3.1 Oct 13, 2021
@ghost ghost locked as resolved and limited conversation to collaborators Apr 6, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Reviewers

@fabiant3 fabiant3 Awaiting requested review from fabiant3

@ryalanms ryalanms Awaiting requested review from ryalanms

@SamBent SamBent Awaiting requested review from SamBent

Assignees

No one assigned

Labels

PR metadata: Label to tag PRs, to facilitate with triage

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@vseanreesermsft @dotnet-bot