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

webui: Add missing dependency on gs-web-rest #374

Merged
merged 1 commit into from
Nov 25, 2023

Conversation

groldan
Copy link
Member

@groldan groldan commented Nov 25, 2023

No description provided.

@groldan groldan added the dependencies dependency management label Nov 25, 2023
@groldan groldan merged commit ec78196 into geoserver:main Nov 25, 2023
1 check passed
@groldan groldan deleted the feature/web-rest-settings branch November 25, 2023 22:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
dependencies dependency management
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant