On Mon, 7 Aug 2023 07:52:47 GMT, David Holmes <dholmes at openjdk.org> wrote: > Seem okay. A couple of minor nits/requests. > > Thanks Thanks David; I worked in your feedback. ------------- PR Comment: https://git.openjdk.org/jdk/pull/15158#issuecomment-1667527762