pmd / pmd / 591

79%

push

github

[doc] Split old release notes page (#6763)

* [doc] Split old release notes page

The page release_notes_old was getting so large,
that displaying it was noticeable. Splitting the old release
notes by version now.

Also removing the detailed release notes for pmd 7 into
the old release notes section in the menu.

* Fix dead links

* Update typos configuration

19071 of 25035 branches covered (76.18%)

Branch coverage included in aggregate %.

41418 of 51427 relevant lines covered (80.54%)

0.81 hits per line