Skip to content

Conversation

@SharkPool-SP
Copy link
Collaborator

No description provided.

@github-actions github-actions bot added the pr: change existing extension Pull requests that change an existing extension label Dec 14, 2025
@SharkPool-SP
Copy link
Collaborator Author

!format

Copy link
Member

@CubesterYT CubesterYT left a comment

Choose a reason for hiding this comment

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

  • I tested all modified functionality and found no bugs or unintuitive behavior.
  • I believe a well-formed project using an older version of this extension will not be broken by this new version.
  • I have no additional concerns.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

pr: change existing extension Pull requests that change an existing extension

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants