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. This pull request has now been integrated. Changeset: 5a21397f Author: Pavel Rappo <pra...@openjdk.org> URL: https://git.openjdk.java.net/jdk/commit/5a21397f709e5c684d9462ecaecf2d5db023e778 Stats: 174 lines in 62 files changed: 2 ins; 41 del; 131 mod 8284387: Fix formatting of doc comments in jdk.javadoc Reviewed-by: jjg ------------- PR: https://git.openjdk.java.net/jdk/pull/8126
