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 Looks fine; increasing review count to also include someone who more directly maintains this API. If you haven't done so already, I recommend also doing a quick check for an analagous issue with `@jls` tags in this API. ------------- Marked as reviewed by darcy (Reviewer). PR Review: https://git.openjdk.org/jdk/pull/20513#pullrequestreview-2233780253
