On Tue, 24 Jan 2023 19:17:57 GMT, Coleen Phillimore <coleenp at openjdk.org> wrote: > Looks good and trivial. Thanks @coleenp . ------------- PR: https://git.openjdk.org/jdk/pull/12165