On Fri, 6 Dec 2024 07:50:17 GMT, Robbin Ehn <rehn at openjdk.org> wrote: > Thanks for the work, seems fine to me. Thank you Robbin! ------------- PR Comment: https://git.openjdk.org/jdk/pull/22475#issuecomment-2522589378