On Mon, 3 Oct 2022 14:29:56 GMT, Nick Gasson <ngasson at openjdk.org> wrote: > Looks OK to me! Thanks for the review! @nick-arm ------------- PR: https://git.openjdk.org/jdk/pull/10461