Skip to content

Bump PMD from 7.18.0 to 7.19.0 - #332

Merged
adangel merged 1 commit into
pmd:mainfrom
adangel:bump-pmd-7.19.0
Nov 28, 2025
Merged

adangel merged 1 commit into
pmd:mainfrom
adangel:bump-pmd-7.19.0

Conversation

@adangel

@adangel adangel commented Nov 28, 2025

Copy link
Copy Markdown
Member

No description provided.

@adangel adangel added this to the 7.19.0 milestone Nov 28, 2025
@adangel adangel added the dependencies Pull requests that update a dependency file label Nov 28, 2025
@adangel
adangel merged commit 47e8154 into pmd:main Nov 28, 2025
3 of 6 checks passed
@adangel
adangel deleted the bump-pmd-7.19.0 branch November 28, 2025 12:10
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