On Fri, 7 Feb 2025 08:40:03 GMT, Thomas Schatzl <tschatzl at openjdk.org> wrote: > Afaict this is good. Thanks for reviewing, Thomas! ------------- PR Comment: https://git.openjdk.org/jdk/pull/23235#issuecomment-2642378742