Skip to content

Conversation

@jerry-git
Copy link
Owner

Description

A short description about the changes in this pull request. If the pull request is related to some issue, mention it here.

Checklist

  • Tests covering the new functionality have been added
  • Documentation has been updated OR the changes are too minor to be documented
  • The Changes are listed in the CHANGELOG.md OR the changes are insignificant

@jerry-git jerry-git merged commit 650b040 into master Jan 29, 2024
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