Skip to content

Conversation

@adangel
Copy link
Member

@adangel adangel commented Jun 26, 2025

Needs to be updated after PMD 7.15.0 is released.

@adangel adangel added this to the 7.15.0 milestone Jun 26, 2025
@adangel adangel added the dependencies Pull requests that update a dependency file label Jun 26, 2025
adangel

This comment was marked as resolved.

@adangel adangel marked this pull request as ready for review June 27, 2025 13:15
@adangel adangel merged commit 196f30e into pmd:main Jun 27, 2025
1 check passed
@adangel adangel deleted the bump-pmd-7.15.0 branch June 27, 2025 13:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

dependencies Pull requests that update a dependency file

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant