On Mon, 7 Feb 2022 13:34:24 GMT, Claes Redestad <redestad at openjdk.org> wrote: > Looks reasonable. Thanks. Any more reviews needed, or I am pushing? ------------- PR: https://git.openjdk.java.net/jdk/pull/7333