Skip to content

chore: Jetty Versions#59

Merged
benjaminalbanese merged 1 commit intomasterfrom
bugfix/jetty12
Feb 5, 2026
Merged

chore: Jetty Versions#59
benjaminalbanese merged 1 commit intomasterfrom
bugfix/jetty12

Conversation

@werthdavid
Copy link
Member

No description provided.

@benjaminalbanese benjaminalbanese merged commit a33a027 into master Feb 5, 2026
1 check passed
@benjaminalbanese benjaminalbanese deleted the bugfix/jetty12 branch February 5, 2026 22:28
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