On Thu, 16 Feb 2023 08:16:40 GMT, Serguei Spitsyn <sspitsyn at openjdk.org> wrote: > Hi Alexey, I hope, Kevin will have a chance to review your PR. I'll check with him. Thank you! ------------- PR: https://git.openjdk.org/jdk/pull/11758