Skip to content

Conversation

@CyrusNajmabadi
Copy link
Member

No description provided.

@ghost ghost added Area-IDE untriaged Issues and PRs which have not yet been triaged by a lead labels Dec 18, 2024
@CyrusNajmabadi CyrusNajmabadi marked this pull request as ready for review December 18, 2024 00:59
@CyrusNajmabadi CyrusNajmabadi requested a review from a team as a code owner December 18, 2024 00:59
@CyrusNajmabadi CyrusNajmabadi merged commit 7edae94 into dotnet:main Dec 18, 2024
25 checks passed
@dotnet-policy-service dotnet-policy-service bot added this to the Next milestone Dec 18, 2024
@CyrusNajmabadi CyrusNajmabadi deleted the moreWait branch December 18, 2024 16:23
@dibarbet dibarbet modified the milestones: Next, 17.13 P3 Jan 7, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Area-IDE 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.

3 participants