[pmd-commits] [pmd/pmd] e4577c: [doc] Add user survey to release notes (#3814)

2022-04-30 Thread Andreas Dangel via Pmd-commits
Branch: refs/heads/master Home: https://github.com/pmd/pmd Commit: e4577c47ea9e71044aea6c773584fcdb98ef281a https://github.com/pmd/pmd/commit/e4577c47ea9e71044aea6c773584fcdb98ef281a Author: Andreas Dangel Date: 2022-04-30 (Sat, 30 Apr 2022) Changed paths: M docs/pages/r

[pmd-commits] [pmd/pmd] e4577c: [doc] Add user survey to release notes (#3814)

2022-04-30 Thread Andreas Dangel via Pmd-commits
Branch: refs/heads/pmd/7.0.x Home: https://github.com/pmd/pmd Commit: e4577c47ea9e71044aea6c773584fcdb98ef281a https://github.com/pmd/pmd/commit/e4577c47ea9e71044aea6c773584fcdb98ef281a Author: Andreas Dangel Date: 2022-04-30 (Sat, 30 Apr 2022) Changed paths: M docs/page