Skip to content

Update namespace to jakarta#5

Merged
ArneLimburg merged 1 commit intomainfrom
jakarta
Jul 23, 2025
Merged

Update namespace to jakarta#5
ArneLimburg merged 1 commit intomainfrom
jakarta

Conversation

@ArneLimburg
Copy link
Copy Markdown
Owner

No description provided.

@ArneLimburg ArneLimburg merged commit 9702e8f into main Jul 23, 2025
2 checks passed
@ArneLimburg ArneLimburg deleted the jakarta branch July 23, 2025 14: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