Skip to content

build: Release 12.1.2#7714

Merged
jeremylong merged 3 commits intomainfrom
release-12.1.2
Jun 7, 2025
Merged

build: Release 12.1.2#7714
jeremylong merged 3 commits intomainfrom
release-12.1.2

Conversation

@jeremylong
Copy link
Copy Markdown
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 Jun 7, 2025
@jeremylong jeremylong merged commit cc18626 into main Jun 7, 2025
5 checks passed
@jeremylong jeremylong deleted the release-12.1.2 branch June 7, 2025 10:52
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Jul 8, 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