On Tue, 8 Oct 2024 07:13:42 GMT, Christian Hagedorn <chagedorn at openjdk.org> wrote: > Looks good! Thanks, Christian! ------------- PR Comment: https://git.openjdk.org/jdk/pull/21385#issuecomment-2399042363