On Thu, 24 Nov 2022 01:23:00 GMT, Serguei Spitsyn <sspit...@openjdk.org> wrote:
>> David Holmes has updated the pull request incrementally with one additional >> commit since the last revision: >> >> Fix formatting > > Nice doc update. > Looks good to me. > Thanks, > Serguei Thanks for looking at this @sspitsyn ! ------------- PR: https://git.openjdk.org/jdk/pull/11340
