[jdk17u-dev] Integrated: Merge jdk17u:master

Wed May 25 11:44:09 UTC 2022

On Wed, 25 May 2022 11:34:59 GMT, Goetz Lindenmaier <goetz at openjdk.org> wrote:

> Merge needed as change was wrongly pushed to jdk17u.

This pull request has now been integrated.

Changeset: 72f368dc
Author:    Goetz Lindenmaier <goetz at openjdk.org>
URL:       https://git.openjdk.java.net/jdk17u-dev/commit/72f368dcafe88b88cc65e2e15ae1a56ac11bfecb
Stats:     1 line in 1 file changed: 1 ins; 0 del; 0 mod

Merge

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

PR: https://git.openjdk.java.net/jdk17u-dev/pull/413