Skip to content

Consistent naming#12

Merged
minhddb merged 2 commits intomainfrom
consistent-naming
Feb 24, 2026
Merged

Consistent naming#12
minhddb merged 2 commits intomainfrom
consistent-naming

Conversation

@ausgerechnet
Copy link
Copy Markdown
Member

No description provided.

@ausgerechnet ausgerechnet requested a review from minhddb February 24, 2026 11:59
@minhddb minhddb merged commit c4c4f22 into main Feb 24, 2026
8 checks passed
@minhddb minhddb deleted the consistent-naming branch February 24, 2026 12:04
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