On Fri, 3 Jun 2022 22:08:50 GMT, Chris Plummer <cjplum...@openjdk.org> wrote:
>> Marked as reviewed by cjplummer (Reviewer). > >> @plummercj - Thanks for the review! >> >> Do you agree that this is a trivial change? > > Yes @plummercj - Thanks! ------------- PR: https://git.openjdk.java.net/jdk/pull/9020