On Tue, 20 Jun 2023 18:25:02 GMT, Chris Plummer <cjplum...@openjdk.org> wrote:
> Clean backport of [JDK-8308499](https://bugs.openjdk.org/browse/JDK-8308499) The backport is clean. Thanks, Serguei ------------- Marked as reviewed by sspitsyn (Reviewer). PR Review: https://git.openjdk.org/jdk21/pull/41#pullrequestreview-1491278427
