On Mon, 18 Nov 2024 08:36:57 GMT, Eirik Bjørsnøs <eir...@openjdk.org> wrote:
>> JDK-8344187 has the changes for the java.instrument module, Kevin has a PR >> coming with the changes. > >> JDK-8344187 has the changes for the java.instrument module, Kevin has a PR >> coming with the changes. > > Thanks, withdrawing this PR. Added label `jep486` to JDK-8344187. Thanks @eirbjo 8-) ------------- PR Comment: https://git.openjdk.org/jdk/pull/22184#issuecomment-2482766483
