On Tue, 19 Jul 2022 08:50:37 GMT, Severin Gehwolf <sgehwolf at openjdk.org> wrote: > Looks fine to me. Hi Severin, thanks for the review . ------------- PR: https://git.openjdk.org/jdk11u-dev/pull/1240