On Wed, 23 Dec 2020 20:27:11 GMT, Alex Menkov <amenkov at openjdk.org> wrote: >> Marked as reviewed by amenkov (Reviewer). > > Agreed that this is trivial fix @alexmenkov - Thanks for the fast review! ------------- PR: https://git.openjdk.java.net/jdk/pull/1884