On Mon, 24 Jul 2023 00:16:32 GMT, David Holmes <dholmes at openjdk.org> wrote: > Seems quite reasonable. > > Thanks. Thank you David. ------------- PR Comment: https://git.openjdk.org/jdk/pull/14967#issuecomment-1647422873