On Wed, 19 Jun 2024 15:36:44 GMT, Christoph Langer <clanger at openjdk.org> wrote: > Looks like this PR can be closed. The underlying issue has been resolved by the CA. Okey. ------------- PR Comment: https://git.openjdk.org/jdk/pull/19694#issuecomment-2179040063