On Fri, 20 Jan 2023 04:39:13 GMT, David Holmes <dhol...@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

Reply via email to