On Fri, 20 Jan 2023 04:39:13 GMT, David Holmes <dholmes at openjdk.org> wrote: > Nothing further from me. I think this is okay as-is now. Thanks. @dholmes-ora Thank you for the review! ------------- PR: https://git.openjdk.org/jdk/pull/11935