On Wed, 8 May 2024 08:06:03 GMT, Christoph Langer <[email protected]> wrote:
> Looks reasonable. Give us some time to test that in our CI. @dfuch May I merge now? ------------- PR Comment: https://git.openjdk.org/jdk/pull/18884#issuecomment-2107481714
