On Tue, 24 Jun 2025 15:21:15 GMT, Doug Lea <d...@openjdk.org> wrote: >> This collects miscellaneous open issues that can be resolved with >> documentation updates; each indicated by adding JDK issue numbers > > Doug Lea has updated the pull request incrementally with one additional > commit since the last revision: > > Add JDK-8311131
Latest version (with the "bulk" update to CHM) looks good. ------------- Marked as reviewed by alanb (Reviewer). PR Review: https://git.openjdk.org/jdk/pull/25880#pullrequestreview-2954677539
