On Thu, 11 May 2023 16:20:22 GMT, Vladimir Kozlov <kvn at openjdk.org> wrote: > Good. Thanks @vnkozlov for the review. I integrate it now since it's a build failure. ------------- PR Comment: https://git.openjdk.org/jdk/pull/13934#issuecomment-1544778340