On Fri, 25 Nov 2022 20:22:25 GMT, Vladimir Kozlov <k...@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
