Skip to content

Conversation

@allcontributors
Copy link
Contributor

Adds @yuekui as a contributor for doc.

This was requested by jackton1 in this comment

[skip ci]

@jackton1 jackton1 merged commit 6e1e5f3 into main Nov 4, 2022
@jackton1 jackton1 deleted the all-contributors/add-yuekui branch November 4, 2022 06:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants