[jdk11u-dev] Integrated: 8291794: [11u] Corrections after backport of JDK-8212028

Thu Aug 4 07:26:11 UTC 2022

On Tue, 2 Aug 2022 12:44:24 GMT, George Adams <duke at openjdk.org> wrote:

> This change allows me to merge https://github.com/openjdk/jdk/commit/753c58b7f556fedd7828da487a34b8b228785ff9 cleanly

This pull request has now been integrated.

Changeset: 761e5684
Author:    George Adams <georgeadams1995 at gmail.com>
Committer: Christoph Langer <clanger at openjdk.org>
URL:       https://git.openjdk.org/jdk11u-dev/commit/761e56849f1289693c59ebd2ccb2c476031616c6
Stats:     53 lines in 2 files changed: 12 ins; 37 del; 4 mod

8291794: [11u] Corrections after backport of JDK-8212028

Reviewed-by: clanger
Backport-of: 03a8cdece5e1dabcae0cd4f7ce9c0165daa1e476

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

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