On Tue, 11 Jul 2023 23:33:52 GMT, Ioi Lam <ik...@openjdk.org> wrote:

> Looks reasonable to me.

Thank you Ioi.

-------------

PR Comment: https://git.openjdk.org/jdk/pull/14826#issuecomment-1631862898

Reply via email to