On Wed, 1 Feb 2023 19:25:54 GMT, Weijun Wang <weijun at openjdk.org> wrote: > A trivial doc-only change. Marked as reviewed by jnimeh (Reviewer). ------------- PR: https://git.openjdk.org/jdk/pull/12373