Skip to content

Conversation

@Youssef1313
Copy link
Member

No description provided.

@Youssef1313 Youssef1313 requested a review from a team as a code owner December 29, 2025 15:28
@dotnet-policy-service dotnet-policy-service bot added Community The pull request was submitted by a contributor who is not a Microsoft employee. VSCode labels Dec 29, 2025
@JoeRobich JoeRobich merged commit ad6ca75 into dotnet:main Jan 7, 2026
27 checks passed
@dotnet-policy-service dotnet-policy-service bot added this to the Next milestone Jan 7, 2026
@Youssef1313 Youssef1313 deleted the patch-17 branch January 7, 2026 15:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Area-IDE Community The pull request was submitted by a contributor who is not a Microsoft employee. VSCode

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants