On Tue, 8 Oct 2024 08:55:07 GMT, Tobias Hartmann <thartmann at openjdk.org> wrote: > Looks good to me too. Thanks, Tobias! ------------- PR Comment: https://git.openjdk.org/jdk/pull/21385#issuecomment-2399535146