Skip to content

Trivial cleanup#726

Merged
ckormanyos merged 2 commits intomasterfrom
trivial_cleanup
Feb 14, 2026
Merged

Trivial cleanup#726
ckormanyos merged 2 commits intomasterfrom
trivial_cleanup

Conversation

@ckormanyos
Copy link
Owner

No description provided.

@sonarqubecloud
Copy link

@ckormanyos ckormanyos merged commit ab23f54 into master Feb 14, 2026
298 checks passed
@ckormanyos ckormanyos deleted the trivial_cleanup branch February 14, 2026 19:57
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.

1 participant