Skip to content

Upgrade maven-pmd-plugin as part of the Java 17 migration - #1208

Merged
timtebeek merged 1 commit into
mainfrom
tim/maven-pmd-plugin-upgrade
Aug 17, 2026
Merged

Upgrade maven-pmd-plugin as part of the Java 17 migration#1208
timtebeek merged 1 commit into
mainfrom
tim/maven-pmd-plugin-upgrade

Commits

Commits on Aug 17, 2026