Skip to content

Some naming updates#1

Merged
risenxxx merged 1 commit intomainfrom
chore/some-naming-updates
Jun 2, 2022
Merged

Some naming updates#1
risenxxx merged 1 commit intomainfrom
chore/some-naming-updates

Conversation

@risenxxx
Copy link
Copy Markdown

@risenxxx risenxxx commented Jun 2, 2022

No description provided.

@github-actions github-actions Bot added the chore label Jun 2, 2022
@risenxxx risenxxx merged commit f7fae1c into main Jun 2, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant