Skip to content

change is to Is#141

Merged
zydmayday merged 1 commit intomainfrom
change-is-name
Jun 16, 2022
Merged

change is to Is#141
zydmayday merged 1 commit intomainfrom
change-is-name

Conversation

@zydmayday
Copy link
Copy Markdown
Owner

No description provided.

@zydmayday zydmayday merged commit ecbd48d into main Jun 16, 2022
@zydmayday zydmayday deleted the change-is-name branch June 16, 2022 12:16
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.

1 participant