Skip to content

build: release 12.1.5#7933

Merged
jeremylong merged 3 commits intomainfrom
release-12.1.5
Sep 20, 2025
Merged

build: release 12.1.5#7933
jeremylong merged 3 commits intomainfrom
release-12.1.5

Conversation

@jeremylong
Copy link
Collaborator

No description provided.

@boring-cyborg boring-cyborg bot added ant changes to ant cli changes to the cli core changes to core maven changes to the maven plugin utils changes to utils labels Sep 20, 2025
@jeremylong jeremylong merged commit ebee56e into main Sep 20, 2025
8 checks passed
@jeremylong jeremylong deleted the release-12.1.5 branch October 11, 2025 19:30
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Nov 11, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

ant changes to ant cli changes to the cli core changes to core maven changes to the maven plugin utils changes to utils

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant