On Mon, 19 Sep 2022 02:24:36 GMT, David Holmes <dholmes at openjdk.org> wrote: > This seems quite reasonable. > > Thanks. Thank you David! ------------- PR: https://git.openjdk.org/jdk/pull/10236