On Tue, 4 Jun 2024 14:49:16 GMT, Christian Hagedorn <chagedorn at openjdk.org> wrote: > Looks good to me, too. Thanks. ------------- PR Comment: https://git.openjdk.org/jdk/pull/19518#issuecomment-2148737342