Skip to content

Jetty 12#107

Merged
milt merged 4 commits into
masterfrom
jetty-12
Apr 27, 2026
Merged

Jetty 12#107
milt merged 4 commits into
masterfrom
jetty-12

Conversation

@milt
Copy link
Copy Markdown
Member

@milt milt commented Apr 27, 2026

Jetty 9 is well and truly done. We need to move to the latest pedestal with Jetty 12, there may be some unavoidable cljs breakage here.

@milt
Copy link
Copy Markdown
Member Author

milt commented Apr 27, 2026

We didn't really have to change anything, so no CLJS breakage.

@milt milt marked this pull request as ready for review April 27, 2026 14:00
@milt milt requested a review from cliffcaseyyet April 27, 2026 14:00
@milt milt merged commit e89fbae into master Apr 27, 2026
6 checks passed
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