Skip to content

Conversation

SwapnilGaikwad
Copy link
Contributor

As requested in a review comment.

@ghost ghost added needs-area-label An area label is needed to ensure this gets routed to the appropriate area owners community-contribution Indicates that the PR has been added by a community member labels Jul 3, 2023
@SwapnilGaikwad
Copy link
Contributor Author

Hi @kunalspathak, could you incorporate this minor change, please?

@kunalspathak kunalspathak merged commit 72dd144 into dotnet:main Jul 3, 2023
@SwapnilGaikwad SwapnilGaikwad deleted the github-remove-todo-guid branch July 4, 2023 11:45
@ghost ghost locked as resolved and limited conversation to collaborators Aug 3, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
community-contribution Indicates that the PR has been added by a community member 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