On Tue, 16 Jan 2024 10:16:19 GMT, Roberto Castañeda Lozano <rcastanedalo at openjdk.org> wrote: > Looks good. Thanks, Vladimir! ------------- PR Comment: https://git.openjdk.org/jdk/pull/17367#issuecomment-1895266751