Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update to jetty 12.0.11 #2167

Merged
merged 1 commit into from
Jul 4, 2024
Merged

Conversation

merks
Copy link
Contributor

@merks merks commented Jul 4, 2024

No description provided.

@merks
Copy link
Contributor Author

merks commented Jul 4, 2024

/request-license-review

Copy link
Contributor

github-actions bot commented Jul 4, 2024

/request-license-review

License review requests:

After all reviews have concluded, re-run the license-vetting check from the Github Actions web-interface to update its status.

Workflow run (with attached summary files):
https://github.com/eclipse-platform/eclipse.platform.releng.aggregator/actions/runs/9789938982

@merks merks merged commit 3aa7b7a into eclipse-platform:master Jul 4, 2024
3 of 4 checks passed
@merks merks deleted the pr-jetty-12.0.11 branch July 4, 2024 07:46
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