On Wed, 19 Apr 2023 23:51:53 GMT, Chris Plummer <cjplum...@openjdk.org> wrote:
> I'll be fixing this using > [JDK-8306467](https://bugs.openjdk.org/browse/JDK-8306467), > which will be done after the JDWP/JDI spec/impl update, which is being > handled by > [JDK-8306471](https://bugs.openjdk.org/browse/JDK-8306471). Thank you, Chris. ------------- PR Comment: https://git.openjdk.org/jdk/pull/13546#issuecomment-1515523290
