Skip to content

Use Jetty 12.1#545

Merged
DavidWhitlock merged 3 commits into
Summer2026-SNAPSHOTfrom
issue-541/jetty-12.1
May 27, 2026
Merged

Use Jetty 12.1#545
DavidWhitlock merged 3 commits into
Summer2026-SNAPSHOTfrom
issue-541/jetty-12.1

Conversation

@DavidWhitlock

Copy link
Copy Markdown
Collaborator

Address #541 by using Jetty 12.1.

@DavidWhitlock DavidWhitlock merged commit 273b09a into Summer2026-SNAPSHOT May 27, 2026
2 of 4 checks passed
@DavidWhitlock DavidWhitlock deleted the issue-541/jetty-12.1 branch May 27, 2026 02:19
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