On Fri, 25 Nov 2022 20:22:25 GMT, Vladimir Kozlov <kvn at openjdk.org> wrote: >> David Holmes has updated the pull request incrementally with one additional commit since the last revision: >> >> Fix formatting > > Good. Thanks @vnkozlov ! ------------- PR: https://git.openjdk.org/jdk/pull/11340