[pmd-commits] [pmd/pmd]

[pmd-actions-helper[bot] <no...@gi...>]

  Branch: refs/tags/pmd_releases/7.25.0-SNAPSHOT
  Home:   https://github.com/pmd/pmd

To unsubscribe from these emails, change your notification settings at https://github.com/pmd/pmd/settings/notifications