Branch: refs/heads/gh-pages Home: https://github.com/pmd/pmd Commit: 2ca8cc8a0ce13d7b908b776035a1ae586558052d https://github.com/pmd/pmd/commit/2ca8cc8a0ce13d7b908b776035a1ae586558052d Author: PMD CI (pmd-bot) <pmd-...@users.noreply.github.com> Date: 2023-04-28 (Fri, 28 Apr 2023)
Changed paths: M feed.xml M pmd_release_notes.html M pmd_release_notes_pmd7.html Log Message: ----------- Update documentation https://github.com/pmd/pmd/actions/runs/4834754316 https://github.com/pmd/pmd/compare/58a7e6093444...53170cceba19 _______________________________________________ Pmd-commits mailing list Pmd-commits@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/pmd-commits