On Wed, 3 Nov 2021 11:50:26 GMT, Aleksey Shipilev <shade at openjdk.org> wrote: > Thank you! Trivial, right? Indeed. ------------- PR: https://git.openjdk.java.net/jdk/pull/6031