Skip to content

Conversation

@adangel
Copy link
Member

@adangel adangel commented Dec 30, 2025

No description provided.

@adangel adangel added this to the 7.20.0 milestone Dec 30, 2025
@adangel adangel added the dependencies Pull requests that update a dependency file label Dec 30, 2025
@adangel adangel merged commit 7694a70 into pmd:main Dec 30, 2025
6 checks passed
@adangel adangel deleted the update-pmd-7.20.0 branch December 30, 2025 15:56
@adangel adangel changed the title Bump PMD from 7.18.0 to 7.19.0 Bump PMD from 7.19.0 to 7.20.0 Dec 30, 2025
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