Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Conversation

radekdoulik
Copy link
Member

Implements #88092

@ghost ghost added needs-area-label An area label is needed to ensure this gets routed to the appropriate area owners new-api-needs-documentation labels Jul 10, 2023
@ghost
Copy link

ghost commented Jul 10, 2023

Note regarding the new-api-needs-documentation label:

This serves as a reminder for when your PR is modifying a ref *.cs file and adding/modifying public APIs, please make sure the API implementation in the src *.cs file is documented with triple slash comments, so the PR reviewers can sign off that change.

@lewing lewing merged commit 89d6fd5 into dotnet:main Jul 10, 2023
@ghost ghost locked as resolved and limited conversation to collaborators Aug 13, 2023
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 new-api-needs-documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants