On Tue, 8 Apr 2025 08:09:39 GMT, Tobias Hartmann <thartmann at openjdk.org> wrote: > Looks good to me too. Thanks for reviewing, Tobias! ------------- PR Comment: https://git.openjdk.org/jdk/pull/24422#issuecomment-2785642877