Skip to content

Chore: Rename string & variable#2234

Merged
mergify[bot] merged 1 commit into
mainfrom
chore/refactor
May 4, 2023
Merged

Chore: Rename string & variable#2234
mergify[bot] merged 1 commit into
mainfrom
chore/refactor

Conversation

@BornToBeRoot

Copy link
Copy Markdown
Owner

By submitting this pull request, I confirm the following:

@BornToBeRoot BornToBeRoot added this to the next-release milestone May 4, 2023
@mergify mergify Bot merged commit 714aad5 into main May 4, 2023
@mergify mergify Bot deleted the chore/refactor branch May 4, 2023 22:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant