Update version compatibility in Review Bot docs.
Review Request #13732 — Created April 16, 2024 and submitted — Latest diff uploaded
This change updates the version compatibility notes for Review Bot 4 in
two places:
- The main documentation index now correctly lists our current Review
Board and Python compatibility. - The PMD tool page lists the compatible PMD major versions.
Built docs.