Skip to content

Conversation

@joschi
Copy link
Member

@joschi joschi commented Aug 20, 2025

No description provided.

@joschi joschi self-assigned this Aug 20, 2025
@joschi joschi requested review from a team as code owners August 20, 2025 20:02
@joschi joschi enabled auto-merge (squash) August 20, 2025 20:02
@joschi joschi merged commit f1cf6d5 into release/4.2.x Aug 20, 2025
6 of 8 checks passed
@joschi joschi deleted the jetty-12-ee11-4.2.x branch August 20, 2025 20:07
@joschi joschi modified the milestones: 5.0.3, 4.2.34, 4.2.35 Aug 20, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants