Skip to content

Conversation

@schillic
Copy link
Member

@schillic schillic commented Mar 1, 2024

Closes #46.

  1. commit: After thinking about it for a while, I originally suggested to simply remove the function. It is not a common use case and also very easy to define manually.
  2. commit: The function names were a bit inconsistent. Now I suggest to rename them instead, and with a new name we can keep the old function.

@schillic schillic marked this pull request as ready for review March 1, 2024 19:14
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.

Fix piracy with contains

2 participants