On Mon, 23 Jan 2023 17:18:58 GMT, Coleen Phillimore <coleenp at openjdk.org> wrote: > Nice, and trivial. Thanks! Thanks for the review! ------------- PR: https://git.openjdk.org/jdk/pull/12145