[jdk11u-dev] Integrated: Merge jdk11u:master

Wed Jun 14 06:54:17 UTC 2023

On Wed, 14 Jun 2023 06:07:37 GMT, Goetz Lindenmaier <goetz at openjdk.org> wrote:

> Merge build tag 11.0.20+6 from jdk11u to jdk11u-dev

This pull request has now been integrated.

Changeset: db37a67a
Author:    Goetz Lindenmaier <goetz at openjdk.org>
URL:       https://git.openjdk.org/jdk11u-dev/commit/db37a67ab12237fbcf41a644f3ea9ee3978d4320
Stats:     7 lines in 3 files changed: 6 ins; 0 del; 1 mod

Merge

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

PR: https://git.openjdk.org/jdk11u-dev/pull/1945