On Wed, 13 Sep 2023 16:05:51 GMT, Chris Plummer <cjplum...@openjdk.org> wrote:
> I can change it to `@apiNote`. Since it is not really part of the spec, I can > see leaving it out of the JDWP spec. It's mostly important to get this info > to JDI users. Okay, in which case a CSR is not strictly needed here (I added the "csr" label because of the spec update). ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/15695#discussion_r1325527785
