On Sat, 21 Jun 2025 12:46:21 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-6526284 doc update
Do we need a CSR to check some of these specification updates? ------------- PR Comment: https://git.openjdk.org/jdk/pull/25880#issuecomment-2993625922