Skip to content

remove extra 'is'#25

Merged
pangolingo merged 1 commit into
mainfrom
aji/extra-it
Jun 26, 2026
Merged

remove extra 'is'#25
pangolingo merged 1 commit into
mainfrom
aji/extra-it

Conversation

@DoodlingDev

Copy link
Copy Markdown
Member

There was an extra 'is,' this commit removes it. I'm helping!

there was an extra 'is,' this commit removes it.
@DoodlingDev DoodlingDev requested a review from pangolingo as a code owner June 26, 2026 17:28

@pangolingo pangolingo left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This is the exact kind of help I need. Thanks for catching it!

@pangolingo pangolingo merged commit e191884 into main Jun 26, 2026
3 checks passed
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