On Wed, 6 Apr 2022 13:12:36 GMT, Pavel Rappo <pra...@openjdk.org> wrote:
> JDK-8284362 highlighted some issues with formatting of top-level doc > comments. This PR fixes those issues and similar issues elsewhere in > jdk.javadoc. Somewhat tedious (for all concerned, I imagine) but ultimately worthwhile as part of the ongoing work to generally improve the code quality for the tool. Thanks for the work. ------------- Marked as reviewed by jjg (Reviewer). PR: https://git.openjdk.java.net/jdk/pull/8126
