Skip to content

Conversation

@huoyaoyuan
Copy link
Member

To see if anything is broken

@ghost
Copy link

ghost commented Oct 17, 2022

I couldn't figure out the best area label to add to this PR. If you have write-permissions please help me learn by adding exactly one area label.

@ghost ghost added the community-contribution Indicates that the PR has been added by a community member label Oct 17, 2022
@marek-safar marek-safar requested a review from janvorli October 17, 2022 13:08
Copy link
Member

@janvorli janvorli left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Nice, thank you!

@huoyaoyuan
Copy link
Member Author

Any update for this PR required?

@janvorli janvorli merged commit 3dbc850 into dotnet:main Oct 31, 2022
@janvorli
Copy link
Member

@huoyaoyuan I am sorry, I have forgotten to check after the CI tests completed. Merged now.

@huoyaoyuan huoyaoyuan deleted the unused branch October 31, 2022 10:56
@ghost ghost locked as resolved and limited conversation to collaborators Nov 30, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

area-PAL-coreclr community-contribution Indicates that the PR has been added by a community member

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants