On Mon, 28 Nov 2022 21:48:40 GMT, Ioi Lam <iklam at openjdk.org> wrote: >> David Holmes has updated the pull request incrementally with one additional commit since the last revision: >> >> Fix formatting > > LGTM Thanks @iklam ! ------------- PR: https://git.openjdk.org/jdk/pull/11340