Skip to content

Conversation

@kwvanderlinde
Copy link
Collaborator

@kwvanderlinde kwvanderlinde commented Jul 18, 2025

There was one bugfix for 1.17 (#5605) that did not get merged into release-1.18. This PR fixes that so that the next 1.18 release will have the fix.


This change is Reviewable

@kwvanderlinde kwvanderlinde self-assigned this Jul 18, 2025
@kwvanderlinde kwvanderlinde moved this from Todo to Awaiting-Review in MapTool 1.18 Jul 18, 2025
@github-project-automation github-project-automation bot moved this from Awaiting-Review to To-Be-Merged in MapTool 1.18 Jul 18, 2025
@cwisniew cwisniew merged commit 232286e into release-1.18 Jul 18, 2025
21 checks passed
@github-project-automation github-project-automation bot moved this from To-Be-Merged to Merged in MapTool 1.18 Jul 18, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

Status: Merged

Development

Successfully merging this pull request may close these issues.

3 participants