Skip to content

Conversation

jkotas
Copy link
Member

@jkotas jkotas commented Jun 10, 2024

No description provided.

@jkotas jkotas requested a review from wfurt June 10, 2024 04:13
@ghost ghost added the needs-area-label An area label is needed to ensure this gets routed to the appropriate area owners label Jun 10, 2024
@jkotas
Copy link
Member Author

jkotas commented Jun 10, 2024

Context #103175 (comment)

@jkotas jkotas merged commit 0b24915 into dotnet:main Jun 10, 2024
@jkotas jkotas deleted the vsconfig branch June 10, 2024 14:09
@github-actions github-actions bot locked and limited conversation to collaborators Jul 11, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
needs-area-label An area label is needed to ensure this gets routed to the appropriate area owners
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants