On Wed, 21 Sep 2022 01:22:03 GMT, David Holmes <dholmes at openjdk.org> wrote: > This seems fine. Thanks. Thanks! Can I have another review? ------------- PR: https://git.openjdk.org/jdk/pull/10290