On Wed, 19 Jun 2024 15:36:44 GMT, Christoph Langer <clan...@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
