On Tue, 31 Jan 2023 16:57:46 GMT, Coleen Phillimore <coleenp at openjdk.org> wrote: > Please review this trivial change. Looks good, and trivial. ------------- Marked as reviewed by kbarrett (Reviewer). PR: https://git.openjdk.org/jdk/pull/12349