On Wed, 18 Jun 2025 14:57:07 GMT, Manuel Hässig <mhaessig at openjdk.org> wrote: > impeccable Okey, I will close this PR ------------- PR Comment: https://git.openjdk.org/jdk/pull/25873#issuecomment-2984897835