On Mon, 30 Sep 2024 08:29:26 GMT, Severin Gehwolf <sgehwolf at openjdk.org> wrote: > Looks OK to me. Thanks! Thank you for the review! ------------- PR Comment: https://git.openjdk.org/jdk11u-dev/pull/2937#issuecomment-2382811506