[pmd-commits] [pmd/pmd] c3e520: Update documentation

2022-06-23 Thread Machine account for PMD via Pmd-commits
Branch: refs/heads/gh-pages Home: https://github.com/pmd/pmd Commit: c3e520029164c03c71154c7db27f3094e4311414 https://github.com/pmd/pmd/commit/c3e520029164c03c71154c7db27f3094e4311414 Author: PMD CI (pmd-bot) Date: 2022-06-23 (Thu, 23 Jun 2022) Changed paths: M

[pmd-commits] [pmd/pmd] efd0c9: Fix #4008

2022-06-23 Thread Andreas Dangel via Pmd-commits
Branch: refs/heads/master Home: https://github.com/pmd/pmd Commit: efd0c9ed13c5124b724a01219e8a32fb9bf8653e https://github.com/pmd/pmd/commit/efd0c9ed13c5124b724a01219e8a32fb9bf8653e Author: Clément Fournier Date: 2022-06-17 (Fri, 17 Jun 2022) Changed paths: M