On Thu, 19 Sep 2024 12:29:34 GMT, Maurizio Cimadamore <mcimadam...@openjdk.org> wrote:
> And I claim that this is outside the scope of this PR. And I strongly disagree because the only reason I conceded that this documentation issue need not be addressed by the CSR request for JEP 472 was because JDK-8338596 was filed to address it - ref the comment from @jddarcy : https://bugs.openjdk.org/browse/JDK-8331672?focusedId=14699206&page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel#comment-14699206 ------------- PR Comment: https://git.openjdk.org/jdk/pull/21067#issuecomment-2362589095
