On Wed, 17 Mar 2021 01:44:52 GMT, Ioi Lam <iklam at openjdk.org> wrote: > I agree it's trivial change. Thanks! Thanks @iklam . Pushed. ------------- PR: https://git.openjdk.java.net/jdk/pull/3039