On Thu, 3 Nov 2022 16:32:13 GMT, Ferenc Rakoczi <d...@openjdk.org> wrote:
>> Xue-Lei Andrew Fan has updated the pull request incrementally with one >> additional commit since the last revision: >> >> typo correction > > Thanks! @ferakocz All good suggestions to me. Thank you very much! ------------- PR: https://git.openjdk.org/jdk/pull/10893
