RFR: 7935: Upgrade the trunk to 9 [v2]

Thu Oct 20 20:10:57 UTC 2022

On Thu, 20 Oct 2022 17:29:05 GMT, Marcus Hirt <hirt at openjdk.org> wrote:

>> This will upgrade the master branch to be JMC 9. Woho!
>
> Marcus Hirt 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 three additional commits since the last revision:
> 
>  - Small fix for changes in master
>  - Merge branch 'master' into 7935-update-to-9
>  - 7935: Upgrade the trunk to 9

Marked as reviewed by jpbempel (Committer).

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

PR: https://git.openjdk.org/jmc/pull/443