Skip to content

Conversation

@adangel
Copy link
Member

@adangel adangel commented Jul 25, 2025

No description provided.

@adangel adangel added this to the 7.16.0 milestone Jul 25, 2025
@adangel adangel added the dependencies Pull requests that update a dependency file label Jul 25, 2025
@adangel adangel merged commit 9073e76 into pmd:main Jul 25, 2025
11 of 12 checks passed
@adangel adangel deleted the bump-pmd-7.16.0 branch July 25, 2025 07:47
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