Integrated: Merge jmc:master

[Marcus Hirt]

On Wed, 12 Oct 2022 19:47:14 GMT, Marcus Hirt <hirt at openjdk.org> wrote:

> Prepping for release.

This pull request has now been integrated.

Changeset: 90375e32
Author:    Marcus Hirt <hirt at openjdk.org>
URL:       https://git.openjdk.org/jmc/commit/90375e32f36d0f1743de877ae14e239b84fa6372
Stats:     12995 lines in 601 files changed: 10235 ins; 1317 del; 1443 mod

Merge

Reviewed-by: aptmac, clanger

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

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