On Wed, 20 Dec 2023 00:56:16 GMT, Jaikiran Pai <jpai at 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