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

[Fixes #434] Bump to Geoserver 2.23.1 #435

Merged
merged 1 commit into from
May 25, 2023
Merged

[Fixes #434] Bump to Geoserver 2.23.1 #435

merged 1 commit into from
May 25, 2023

Conversation

giohappy
Copy link
Contributor

ref #434

@giohappy giohappy added this to the 4.1.0 milestone May 24, 2023
@giohappy giohappy requested a review from afabiani May 24, 2023 13:08
@giohappy giohappy self-assigned this May 24, 2023
@afabiani afabiani merged commit 90ecb13 into master May 25, 2023
@afabiani afabiani deleted the issue_434 branch May 25, 2023 12:57
github-actions bot pushed a commit that referenced this pull request May 25, 2023
(cherry picked from commit 90ecb13)
afabiani pushed a commit that referenced this pull request May 25, 2023
(cherry picked from commit 90ecb13)

Co-authored-by: Giovanni Allegri <[email protected]>
giohappy added a commit that referenced this pull request Jun 1, 2023
giohappy added a commit that referenced this pull request Jun 1, 2023
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