On Mon, 12 Aug 2024 06:24:23 GMT, Jan Lahoda <jlahoda at openjdk.org> wrote: > Looks reasonable to me. thanks for the review ------------- PR Comment: https://git.openjdk.org/jdk/pull/20300#issuecomment-2284051881