On Tue, 11 Jul 2023 23:33:52 GMT, Ioi Lam <iklam at openjdk.org> wrote: > Looks reasonable to me. Thank you Ioi. ------------- PR Comment: https://git.openjdk.org/jdk/pull/14826#issuecomment-1631862898