Skip to content

Remove an unused overload#3

Merged
teor2345 merged 1 commit into
mainfrom
remove-extras
Jul 10, 2026
Merged

Remove an unused overload#3
teor2345 merged 1 commit into
mainfrom
remove-extras

Conversation

@teor2345

Copy link
Copy Markdown
Collaborator

No description provided.

@teor2345 teor2345 self-assigned this Jul 10, 2026
@teor2345 teor2345 added the bug Something isn't working label Jul 10, 2026
@teor2345 teor2345 enabled auto-merge July 10, 2026 06:04
@teor2345 teor2345 added this pull request to the merge queue Jul 10, 2026
Merged via the queue into main with commit de2be03 Jul 10, 2026
7 checks passed
@teor2345 teor2345 deleted the remove-extras branch July 10, 2026 06:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Something isn't working

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant