On Thu, 16 Nov 2023 13:46:03 GMT, Jan Lahoda <jlahoda at openjdk.org> wrote: > Looks OK to me. @lahodaj thanks for the reviews ------------- PR Comment: https://git.openjdk.org/jdk/pull/16683#issuecomment-1814826215