On Fri, 28 Jun 2024 15:51:09 GMT, Sonia Zaldana Calles <szaldana at openjdk.org> wrote: > Hi Thomas, > > I'm not a Reviewer but this looks good to me. Just a small nit. Thank you, @SoniaZaldana ! Good catch. ------------- PR Comment: https://git.openjdk.org/jdk/pull/19803#issuecomment-2197495388