On Wed, 8 Nov 2023 06:05:58 GMT, David Holmes <dholmes at openjdk.org> wrote: > Seems reasonable. > > Thanks Thank you, David! Need a second review. ------------- PR Comment: https://git.openjdk.org/jdk/pull/16508#issuecomment-1805309002