On Fri, 15 Sep 2023 21:48:35 GMT, Chris Plummer <cjplum...@openjdk.org> wrote:
> CSR has been created: > [JDK-8301639](https://bugs.openjdk.org/browse/JDK-8301639) I added the "csr" label as it was initially looking like this would involve a spec update. It's now changed to be non-normative and an API note so a CSR isn't strictly needed but okay to have one. ------------- PR Comment: https://git.openjdk.org/jdk/pull/15695#issuecomment-1722143021
