[jdk11u-dev] Integrated: Merge jdk11u:master

[Goetz Lindenmaier]

On Wed, 30 Jun 2021 08:19:48 GMT, Goetz Lindenmaier <goetz at openjdk.org> wrote:

> Merge jdk11u 11.0.12+6 to jdk11u-dev

This pull request has now been integrated.

Changeset: 725e5160
Author:    Goetz Lindenmaier <goetz at openjdk.org>
URL:       https://git.openjdk.java.net/jdk11u-dev/commit/725e5160815e1abc0ad013a1148d674a0b086a99
Stats:     126 lines in 2 files changed: 12 ins; 9 del; 105 mod

Merge

Reviewed-by: clanger

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

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