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.

Sign up for GitHub

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

Jump to bottom

Upgrade of maven jetty plugin to v10.0.12 #1388

Merged
merged 4 commits into from
Oct 5, 2022
Merged

Upgrade of maven jetty plugin to v10.0.12 #1388

merged 4 commits into from
Oct 5, 2022

Conversation

lgoltz
Copy link
Contributor

@lgoltz lgoltz commented Sep 17, 2022

Fixes #1364

@tfr42 tfr42 added the enhancement enhancement or improvement label Sep 18, 2022
@tfr42 tfr42 added this to the 3.5 milestone Sep 18, 2022
@tfr42 tfr42 added the CI and build CI and build system label Sep 19, 2022
@copierrj copierrj merged commit 040ae0e into deegree:main Oct 5, 2022
@lgoltz lgoltz deleted the upgradeJettyPlugin-1364 branch December 8, 2022 09:23
@tfr42 tfr42 changed the title Upgrade maven jetty plugin to 10.0.12 Upgrade of maven jetty plugin to v10.0.12 Mar 27, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
CI and build CI and build system enhancement enhancement or improvement
Projects
None yet
Milestone
3.5
Development

Successfully merging this pull request may close these issues.

Upgrade of Jetty Maven plugin from 9.x to 10.x required
3 participants
@lgoltz @tfr42 @copierrj