On Tue, 6 Jun 2023 17:15:32 GMT, Joe Darcy <da...@openjdk.org> wrote:
>> Document existing behavior. >> >> Please also review the CSR https://bugs.openjdk.org/browse/JDK-8309415 > > Joe Darcy has updated the pull request with a new target base due to a merge > or a rebase. The incremental webrev excludes the unrelated changes brought in > by the merge/rebase. The pull request contains five additional commits since > the last revision: > > - Respond to review feedback. > - Merge branch 'master' into JDK-8295071 > - Respond to review feedback. > - Merge branch 'master' into JDK-8295071 > - JDK-8309415: Spec Clarification : ClassFileFormatVersion: System property > java.class.version | Java class format version number Marked as reviewed by alanb (Reviewer). ------------- PR Review: https://git.openjdk.org/jdk/pull/14305#pullrequestreview-1465816431
