Skip to content

Rename found to any_of#10

Merged
codereport merged 2 commits intomainfrom
dev
Mar 16, 2021
Merged

Rename found to any_of#10
codereport merged 2 commits intomainfrom
dev

Conversation

@codereport
Copy link
Owner

Closes #5

@codereport codereport added the enhancement New feature or request label Mar 16, 2021
@codereport codereport self-assigned this Mar 16, 2021
@codereport codereport merged commit 1a94a02 into main Mar 16, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Found could be Any_of

1 participant