Skip to content

Conversation

@CyrusNajmabadi
Copy link
Member

Followup to #74829.

@ghost ghost added Area-IDE untriaged Issues and PRs which have not yet been triaged by a lead labels Aug 20, 2024
@CyrusNajmabadi CyrusNajmabadi merged commit 4159630 into dotnet:main Aug 21, 2024
@dotnet-policy-service dotnet-policy-service bot added this to the Next milestone Aug 21, 2024
@CyrusNajmabadi CyrusNajmabadi deleted the cancellationTokens branch August 21, 2024 19:32
@dibarbet dibarbet modified the milestones: Next, 17.12 P2 Aug 26, 2024
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 VSCode

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants