[crac-17] Integrated: Merge jdk17u:jdk-17.0.12+7

Fri Dec 6 08:32:27 UTC 2024

On Fri, 30 Aug 2024 11:23:28 GMT, Radim Vansa <rvansa at openjdk.org> wrote:

> There were no substantial conflicts in the merge.

This pull request has now been integrated.

Changeset: 33a49d8a
Author:    Radim Vansa <rvansa at openjdk.org>
URL:       https://git.openjdk.org/crac/commit/33a49d8a6c0fc0d2e7e97782ded89580d3c7d881
Stats:     1603474 lines in 8676 files changed: 917053 ins; 622542 del; 63879 mod

Merge jdk17u:jdk-17.0.12+7

Reviewed-by: akozlov

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

PR: https://git.openjdk.org/crac/pull/157