On Wed, 26 Jan 2022 08:42:46 GMT, Aleksey Shipilev <shade at openjdk.org> wrote: > This looks fine to me. Thanks, Aleksey! ------------- PR: https://git.openjdk.java.net/jdk/pull/7213