On Mon, 14 Nov 2022 19:04:49 GMT, Pavel Rappo <pra...@openjdk.org> wrote:
> Please review this trivial documentation change that fixes a typo > accidentally found while comparing javadoc output for an unrelated change in > jdk.javadoc. Marked as reviewed by dfuchs (Reviewer). ------------- PR: https://git.openjdk.org/jdk/pull/11140
