[jdk17u-dev] Integrated: Merge jdk17u:master

[Christoph Langer]

On Tue, 16 Jul 2024 21:40:34 GMT, Christoph Langer <clanger at openjdk.org> wrote:

> Merge changes of jdk-17.0.12+7

This pull request has now been integrated.

Changeset: 6a310715
Author:    Christoph Langer <clanger at openjdk.org>
URL:       https://git.openjdk.org/jdk17u-dev/commit/6a3107159b5b02751612cdd1d9a12aadedbd1d7e
Stats:     148 lines in 15 files changed: 88 ins; 4 del; 56 mod

Merge

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

PR: https://git.openjdk.org/jdk17u-dev/pull/2721