Skip to content
New issue

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

#

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

Already on GitHub? # to your account

Jump to bottom

Enhancement maven plugins and cleaned up dependencies #32

Merged
merged 6 commits into from
Oct 5, 2022
Merged

Enhancement maven plugins and cleaned up dependencies #32

merged 6 commits into from
Oct 5, 2022

Conversation

tfr42
Copy link
Member

@tfr42 tfr42 commented May 2, 2022

This PR updated maven plugins and dependencies

@tfr42 tfr42 added enhancement Improvement of existing feature or function dependencies Pull requests that update a dependency file build Build released issues and tasks labels May 2, 2022
@tfr42 tfr42 mentioned this pull request May 2, 2022
Closed
@copierrj copierrj merged commit e15dc27 into deegree:main Oct 5, 2022
@tfr42 tfr42 deleted the enhancement-jetty-plugin branch November 3, 2022 14:07
@tfr42 tfr42 added this to the 1.3.0 milestone Dec 17, 2022
# for free to join this conversation on GitHub. Already have an account? # to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
build Build released issues and tasks dependencies Pull requests that update a dependency file enhancement Improvement of existing feature or function
Projects
None yet
Milestone
1.3.0
Development

Successfully merging this pull request may close these issues.
2 participants
@tfr42 @copierrj