On Tue, 15 Oct 2024 06:34:44 GMT, Jaikiran Pai <jpai at openjdk.org> wrote: > The change looks OK to me. Please wait for Jorn @JornVernee to take a look, before integrating. Okey. ------------- PR Comment: https://git.openjdk.org/jdk/pull/21512#issuecomment-2413025856