On Thu, 8 Aug 2024 18:15:29 GMT, Sonia Zaldana Calles <szald...@openjdk.org> wrote:
> Hi all, > > This PR addresses [8338014](https://bugs.openjdk.org/browse/JDK-8338014) > improving the use of `@jvms` tags by adding `JVMS` prior to the tag. > > Thanks, > Sonia This pull request has now been integrated. Changeset: 56dec215 Author: Sonia Zaldana Calles <szald...@openjdk.org> URL: https://git.openjdk.org/jdk/commit/56dec215b0d056fc23137372ecb3376af2a7b891 Stats: 76 lines in 40 files changed: 0 ins; 0 del; 76 mod 8338014: Improve usage of @jvms tags in class file API Reviewed-by: darcy, liach, asotona ------------- PR: https://git.openjdk.org/jdk/pull/20513
