On Sat, 16 Sep 2023 05:38:01 GMT, Alan Bateman <al...@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. In the CR David requested that I still do a CSR to cover the minor jdwp.spec changes. I wasn't intending to have the CSR cover the APi note. ------------- PR Comment: https://git.openjdk.org/jdk/pull/15695#issuecomment-1724196257