On Thu, 1 May 2025 09:01:58 GMT, Robbin Ehn <rehn at openjdk.org> wrote: > Thanks, looks good! Thank you! ------------- PR Comment: https://git.openjdk.org/jdk/pull/24947#issuecomment-2844532035