On Fri, 23 Jun 2023 11:32:04 GMT, Christian Stein wrote:
> Hi all,
>
> This pull request contains a backport of commit
> [4bf78162](https://github.com/openjdk/jdk/commit/4bf78162c52564645af79b8324b69d89102dc024)
> from the [openjdk/jdk](https://git.openjdk.org/jdk) repository.
>
> The commit
Hi all,
This pull request contains a backport of commit
[4bf78162](https://github.com/openjdk/jdk/commit/4bf78162c52564645af79b8324b69d89102dc024)
from the [openjdk/jdk](https://git.openjdk.org/jdk) repository.
The commit being backported was authored by Christian Stein on 23 Jun 2023 and
was