On Tue, 31 Jan 2023 16:57:46 GMT, Coleen Phillimore <coleenp at openjdk.org> wrote: > Please review this trivial change. Thanks Fred and Kim. ------------- PR: https://git.openjdk.org/jdk/pull/12349