Skip to content

Conversation

@dibarbet
Copy link
Member

Draft until snap time

@ghost ghost added Area-Infrastructure untriaged Issues and PRs which have not yet been triaged by a lead labels Apr 25, 2023
@dibarbet dibarbet marked this pull request as ready for review April 25, 2023 23:11
@dibarbet dibarbet requested a review from a team as a code owner April 25, 2023 23:11
@dibarbet dibarbet enabled auto-merge April 25, 2023 23:11
@dibarbet dibarbet merged commit 2260d05 into dotnet:main Apr 26, 2023
@ghost ghost added this to the Next milestone Apr 26, 2023
@dibarbet dibarbet deleted the 17_7_p2 branch April 26, 2023 01:07
@Cosifne Cosifne modified the milestones: Next, 17.7 P2 May 31, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Area-Infrastructure untriaged Issues and PRs which have not yet been triaged by a lead

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants