Bump pmd.version from 7.11.0 to 7.12.0#248

github-actions[bot] merged 1 commit intomainSvenWoltmann/java-collections-guide:mainfrom

dependabot/maven/pmd.version-7.12.0SvenWoltmann/java-collections-guide:dependabot/maven/pmd.version-7.12.0Copy head branch name to clipboard