Skip to content

Drop unused Delete() function#667

Merged
inteon merged 1 commit intomasterfrom
drop_unused_delete_func
Jun 12, 2025
Merged

Drop unused Delete() function#667
inteon merged 1 commit intomasterfrom
drop_unused_delete_func

Conversation

@inteon
Copy link
Copy Markdown
Contributor

@inteon inteon commented Jun 12, 2025

This Delete() function is never called.

Signed-off-by: Tim Ramlot <42113979+inteon@users.noreply.github.com>
@inteon inteon merged commit ac45fcf into master Jun 12, 2025
2 checks passed
@inteon inteon deleted the drop_unused_delete_func branch December 11, 2025 13:24
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