On Sat, 4 Jun 2022 05:47:27 GMT, Aleksey Shipilev <shade at openjdk.org> wrote: > Looks good and trivial, thanks. Thanks @shipilev for your review. ------------- PR: https://git.openjdk.java.net/jdk/pull/9029