On Wed, 31 Aug 2022 17:08:28 GMT, Naoto Sato <naoto at openjdk.org> wrote: > Simple doc fix. Marked as reviewed by rriggs (Reviewer). ------------- PR: https://git.openjdk.org/jdk/pull/10103