Integrated: JDK-8283274: Improve @jvms usage in java.base

Thu Mar 17 16:41:35 UTC 2022

On Wed, 16 Mar 2022 16:57:12 GMT, Joe Darcy <darcy at openjdk.org> wrote:

> As was done for JLS references under JDK-8283234, now the analogous update for JVMS references.

This pull request has now been integrated.

Changeset: 5ef1990d
Author:    Joe Darcy <darcy at openjdk.org>
URL:       https://git.openjdk.java.net/jdk/commit/5ef1990d6ce35a85c86689badba465b6c8f9f4a1
Stats:     12 lines in 6 files changed: 0 ins; 0 del; 12 mod

8283274: Improve @jvms usage in java.base

Reviewed-by: iris

-------------

PR: https://git.openjdk.java.net/jdk/pull/7844