On Wed, 17 Aug 2022 09:26:55 GMT, Severin Gehwolf <sgehwolf at openjdk.org> wrote: > Thanks. Looks fine. Thank you! Mind approving then :-) ? ------------- PR: https://git.openjdk.org/jdk/pull/9874