On Fri, 27 Dec 2024 07:21:35 GMT, Thomas Stuefe <stuefe at openjdk.org> wrote: > Good and trivial Thanks Thomas for approval. I will integrate it after GHA finishes. ------------- PR Comment: https://git.openjdk.org/jdk/pull/22887#issuecomment-2563410470