On Wed, 20 Jul 2022 20:05:40 GMT, Vladimir Kozlov <kvn at openjdk.org> wrote: > Looks good. Thanks for the review, @vnkozlov! ------------- PR: https://git.openjdk.org/jdk/pull/9569