Skip to content

cleanup direct naming#132

Merged
ingon merged 1 commit intomainfrom
cleanup-direct-naming
Feb 15, 2026
Merged

cleanup direct naming#132
ingon merged 1 commit intomainfrom
cleanup-direct-naming

Conversation

@ingon
Copy link
Contributor

@ingon ingon commented Feb 15, 2026

No description provided.

@ingon ingon merged commit a692afa into main Feb 15, 2026
3 checks passed
@ingon ingon deleted the cleanup-direct-naming branch February 15, 2026 15:10
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