On Mon, 17 Jul 2023 18:29:08 GMT, Chris Plummer <[email protected]> wrote:

> Clean backport.

The backport is clean.
Thanks,
Serguei

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

Marked as reviewed by sspitsyn (Reviewer).

PR Review: https://git.openjdk.org/jdk21/pull/133#pullrequestreview-1534101008

Reply via email to