Skip to content

Conversation

@0x36v
Copy link

@0x36v 0x36v commented Jan 2, 2023

No description provided.

@ghost ghost added the community-contribution Indicates that the PR has been added by a community member label Jan 2, 2023
@ghost
Copy link

ghost commented Jan 2, 2023

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.

@stephentoub stephentoub closed this Jan 2, 2023
@0x36v 0x36v deleted the patch-1 branch January 2, 2023 16:29
@0x36v 0x36v restored the patch-1 branch January 2, 2023 16:31
@ghost ghost locked as resolved and limited conversation to collaborators Feb 1, 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

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants