On Mon, 20 Jan 2025 11:41:40 GMT, Thomas Schatzl <tschatzl at openjdk.org> wrote: > lgtm. Thanks, Thomas! ------------- PR Comment: https://git.openjdk.org/jdk/pull/23112#issuecomment-2602378091