[jdk11u-dev] Integrated: Merge jdk11u:master

[Goetz Lindenmaier]

On Wed, 15 Dec 2021 10:25:37 GMT, Goetz Lindenmaier <goetz at openjdk.org> wrote:

> Merge build tag 11.0.13+7 from jdk11u to jdk11u-dev

This pull request has now been integrated.

Changeset: 4b681454
Author:    Goetz Lindenmaier <goetz at openjdk.org>
URL:       https://git.openjdk.java.net/jdk11u-dev/commit/4b6814546e56626173a8c7faa32b64c8f8db9c14
Stats:     173 lines in 3 files changed: 161 ins; 7 del; 5 mod

Merge

Reviewed-by: mdoerr

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

PR: https://git.openjdk.java.net/jdk11u-dev/pull/720