Skip to content

Remove TODO from a comment in System.Guid.cs#88337

Merged
kunalspathak merged 1 commit intodotnet:mainfrom
SwapnilGaikwad:github-remove-todo-guid
Jul 3, 2023
Merged

Remove TODO from a comment in System.Guid.cs#88337
kunalspathak merged 1 commit intodotnet:mainfrom
SwapnilGaikwad:github-remove-todo-guid

Conversation

@SwapnilGaikwad
Copy link
Copy Markdown
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
Copy Markdown
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