On Wed, 20 Dec 2023 00:56:16 GMT, Jaikiran Pai <j...@openjdk.org> wrote:

> The updated source change looks fine to me.

@jaikiran Thanks for the corroboration.

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

PR Comment: https://git.openjdk.org/jdk/pull/17119#issuecomment-1864827299

Reply via email to