On Wed, 19 Jun 2024 15:36:44 GMT, Christoph Langer <[email protected]> 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
