On Wed, 8 May 2024 08:06:03 GMT, Christoph Langer <clanger at openjdk.org> 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